Cite Them Right 11th edition - Harvard

Jacobs, B., Leavens, G.T., Müller, P. und Poetzsch-Heffter, A. (Hrsg.) (1999) Formal Techniques for Java Programs [cd], Informatik-Berichte. Hagen: Fern Universität in Hagen. doi:urn:nbn:de:hbz:708-dh5825.

Chicago Manual of Style 17th edition (full note)

Jacobs, Bart, Gary T. Leavens, Peter Müller, und Arnd Poetzsch-Heffter, Hrsg. Formal Techniques for Java Programs. Cd. Informatik-Berichte. Hagen: Fern Universität in Hagen, [1999?], Hagen: Fern Universität in Hagen, [1999?]. https://doi.org/urn:nbn:de:hbz:708-dh5825.

American Psychological Association 7th edition

Formal Techniques for Java Programs. (ca. 1999). [Cd]. In B. Jacobs, G. T. Leavens, P. Müller, & A. Poetzsch-Heffter (Hrsg.), Informatik-Berichte. Fern Universität in Hagen. https://doi.org/urn:nbn:de:hbz:708-dh5825

Modern Language Association 9th edition

Jacobs, B., G. T. Leavens, P. Müller, und A. Poetzsch-Heffter, Herausgeber. „Formal Techniques for Java Programs“. Informatik-Berichte, cd, Fern Universität in Hagen, 1999, https://doi.org/urn:nbn:de:hbz:708-dh5825.

ISO-690 (author-date, Deutsch)

JACOBS, Bart, Gary T. LEAVENS, Peter MÜLLER und Arnd POETZSCH-HEFFTER (Hrsg.). Hagen: Fern Universität in Hagen

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.