(1993). Program development by specification and transformation: The PROSPECTRA methodology, language family, and system / Berthold Hoffmann, Bernd Krieg-Brückner, eds.
Lua i Stíl Chicago (17ú heag.)Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System / Berthold Hoffmann, Bernd Krieg-Brückner, Eds. 1993.
Lua MLA (9ú heag.)Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System / Berthold Hoffmann, Bernd Krieg-Brückner, Eds. 1993.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.