APA (7th ed.) Citation

(1993). Program development by specification and transformation: The PROSPECTRA methodology, language family, and system / Berthold Hoffmann, Bernd Krieg-Brückner, eds.

Chicago Style (17th ed.) Citation

Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System / Berthold Hoffmann, Bernd Krieg-Brückner, Eds. 1993.

MLA (9th ed.) Citation

Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System / Berthold Hoffmann, Bernd Krieg-Brückner, Eds. 1993.