"Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)" - читать интересную книгу автора (Dines Bjørner)