Brockschmidt, M., Otto, C. und Giesl, J. (2011) Modular termination proofs of recursive java bytecode programs by term rewriting [cd], Aachener Informatik-Berichte. Aachen: RWTH Aachen.
Chicago Manual of Style 17th edition (full note)Brockschmidt, Marc, Carsten Otto, und Jürgen Giesl. Modular termination proofs of recursive java bytecode programs by term rewriting. Cd. Aachener Informatik-Berichte. Aachen: RWTH Aachen, [2011?], Aachen: RWTH Aachen, [2011?].
American Psychological Association 7th editionBrockschmidt, M., Otto, C., & Giesl, J. (ca. 2011). Modular termination proofs of recursive java bytecode programs by term rewriting [Cd]. In Aachener Informatik-Berichte. RWTH Aachen.
Modern Language Association 9th editionBrockschmidt, M., C. Otto, und J. Giesl. „Modular termination proofs of recursive java bytecode programs by term rewriting“. Aachener Informatik-Berichte, cd, RWTH Aachen, 2011.
ISO-690 (author-date, Deutsch)BROCKSCHMIDT, Marc, Carsten OTTO und Jürgen GIESL, 2011. Modular termination proofs of recursive java bytecode programs by term rewriting. Aachen: RWTH Aachen