"Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) (v. 1)" - читать интересную книгу автора (Dines Bjorner)