Krieg-Brückner, B., & Hoffmann, B. (1993). Program development by specification and transformation: The PROSPECTRA methodology, language family, and system. Springer-Verlag.
Lua i Stíl Chicago (17ú heag.)Krieg-Brückner, B., agus Berthold Hoffmann. Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System. Berlin ; New York: Springer-Verlag, 1993.
Lua MLA (8ú heag.)Krieg-Brückner, B., agus Berthold Hoffmann. Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System. Springer-Verlag, 1993.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.