Hoffmann, B. und Krieg-Brückner, B. (1993) Program Development by Specification and Transformation : The PROSPECTRA Methodology, Language Family, and System [cd], Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag (Lecture Notes in Computer Science, 680). doi:10.1007/3-540-56733-X.
Chicago Manual of Style 17th edition (full note)Hoffmann, Berthold, und Bernd Krieg-Brückner. Program Development by Specification and Transformation : The PROSPECTRA Methodology, Language Family, and System. Cd. Lecture Notes in Computer Science. Lecture Notes in Computer Science 680. Berlin, Heidelberg: Springer-Verlag, [1993?], Berlin, Heidelberg: Springer-Verlag, [1993?]. https://doi.org/10.1007/3-540-56733-X.
American Psychological Association 7th editionHoffmann, B., & Krieg-Brückner, B. (ca. 1993). Program Development by Specification and Transformation : The PROSPECTRA Methodology, Language Family, and System [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/3-540-56733-X
Modern Language Association 9th editionHoffmann, B., und B. Krieg-Brückner. „Program Development by Specification and Transformation : The PROSPECTRA Methodology, Language Family, and System“. Lecture Notes in Computer Science, cd, Springer-Verlag, 1993, https://doi.org/10.1007/3-540-56733-X.
ISO-690 (author-date, Deutsch)HOFFMANN, Berthold und Bernd KRIEG-BRÜCKNER, 1993. Program Development by Specification and Transformation : The PROSPECTRA Methodology, Language Family, and System. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 680. ISBN 9783540476399