Möller, B., Partsch, H. und Schuman, S. (1993) „Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report“, Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag (Lecture Notes in Computer Science, 755). doi:10.1007/3-540-57499-9.
Chicago Manual of Style 17th edition (full note)Möller, Bernhard, Helmut Partsch, und Steve Schuman. „Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report“. Cd. Lecture Notes in Computer Science. Lecture Notes in Computer Science 755. Berlin, Heidelberg: Springer-Verlag, [1993?], Berlin, Heidelberg: Springer-Verlag, [1993?]. https://doi.org/10.1007/3-540-57499-9.
American Psychological Association 7th editionMöller, B., Partsch, H., & Schuman, S. (ca. 1993). Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/3-540-57499-9
Modern Language Association 9th editionMöller, B., H. Partsch, und S. Schuman. „Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report“. Lecture Notes in Computer Science, cd, Springer-Verlag, 1993, https://doi.org/10.1007/3-540-57499-9.
ISO-690 (author-date, Deutsch)MÖLLER, Bernhard, Helmut PARTSCH und Steve SCHUMAN, 1993. Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report. [cd]. 1993. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 755. ISBN 9783540481973