"Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System " - читать интересную книгу автора (Berthold Hoffmann, Bernd Krieg-Brückner)