"Software Engineering 1: Abstraction and Modelling" - читать интересную книгу автора (Dines Bjørner)