"Formal Foundations for Software Engineering Methods" - читать интересную книгу автора (Heinrich Hußmann)