"Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series) (v. 3)" - читать интересную книгу автора (Dines Bjørner)