"Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science)" - читать интересную книгу автора (L. M. G. Feijs, H. B. M. Jonkers)