— 2-е изд. перераб. и доп. — СПб.: БХВ-Петербург, 2004. — 624 с.: ил.
pdf гуглится , или тут можно взять gen.lib.rus.ec (LibGen (Sci-Tech))
Интересная книга в плане основ моделирования и формализации в применении к программированию и вообще.
Я конкретно про "вообще", просто эти вещи легко обобщаются.
Много полезного, имхо.