Cite Them Right 11th edition - Harvard

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

Chicago Manual of Style 17th edition (full note)

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

American Psychological Association 7th edition

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

Modern Language Association 9th edition

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

ISO-690 (author-date, Deutsch)

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

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