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