PROSPECTRA
PROSPECTRA Book 1993
Berthold Hoffmann, Bernd Krieg-Brückner (Eds.): Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. Springer 1993 Lecture Notes in Computer Science 680 ISBN 3-540-56733-X [ contents ]



