American Psychological Association 6th edition

Berghammer, R., & Müller-Olm, M. [ca. 2003]. Formal Derivation and Verification of Approximation Algorithms Using Auxiliary Variables. In Technische Berichte des Instituts für Informatik der CAU Kiel [Cd]. Kiel: Universitätsbibliothek Kiel. https://doi.org/urn:nbn:de:gbv:8:1-zs-00000160-a8

ISO-690 (author-date, English)

BERGHAMMER, Rudolf und MÜLLER-OLM, Markus, 2003. Formal Derivation and Verification of Approximation Algorithms Using Auxiliary Variables. Kiel: Universitätsbibliothek Kiel.

Modern Language Association 9th edition

Berghammer, R., und M. Müller-Olm. „Formal Derivation and Verification of Approximation Algorithms Using Auxiliary Variables“. Technische Berichte des Instituts für Informatik der CAU Kiel, cd, Universitätsbibliothek Kiel, 2003, https://doi.org/urn:nbn:de:gbv:8:1-zs-00000160-a8.

Mohr Siebeck - Recht (Deutsch - Österreich)

Berghammer, Rudolf/Müller-Olm, Markus: Formal Derivation and Verification of Approximation Algorithms Using Auxiliary Variables, Kiel 2003.

Emerald - Harvard

Berghammer, R. und Müller-Olm, M. (2003), Formal Derivation and Verification of Approximation Algorithms Using Auxiliary Variables, Technische Berichte des Instituts für Informatik der CAU Kiel, Bd. , Universitätsbibliothek Kiel, Kiel, verfügbar unter:https://doi.org/urn:nbn:de:gbv:8:1-zs-00000160-a8.

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