"Formal Program Development - IFIP TC2-WG 2.1 State-of-the-Art Report" - читать интересную книгу автора (Bernhard Möller, Helmut Partsch, Steve Schuman)