"Software Engineering 2: Specification of Systems and Languages" - читать интересную книгу автора (Dines Bjørner)