American Psychological Association 6th edition

Brockschmidt, M. [ca. 2012]. Automated termination proofs for Java programs with cyclic data. In Aachener Informatik-Berichte [Cd]. Aachen: RWTH.

ISO-690 (author-date, English)

BROCKSCHMIDT, Marc, 2012. Automated termination proofs for Java programs with cyclic data. Aachen: RWTH.

Modern Language Association 9th edition

Brockschmidt, M. „Automated termination proofs for Java programs with cyclic data“. Aachener Informatik-Berichte, cd, RWTH, 2012.

Mohr Siebeck - Recht (Deutsch - Österreich)

Brockschmidt, Marc: Automated termination proofs for Java programs with cyclic data, Aachen 2012.

Emerald - Harvard

Brockschmidt, M. (2012), Automated termination proofs for Java programs with cyclic data, Aachener Informatik-Berichte, Bd. , RWTH, Aachen.

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