Marc Brockschmidt, Carsten Otto, Christian Von Essen, Jürgen Giesl und The Pennsylvania State University Cite Seer X Archives (2010) „Termination graphs for Java Bytecode“, http://verify.rwth-aachen.de/giesl/papers/Termination Graphs-distribute.pdf [Preprint].
Chicago Manual of Style 17th edition (full note)Marc Brockschmidt, Carsten Otto, Christian Von Essen, Jürgen Giesl, und The Pennsylvania State University Cite Seer X Archives. „Termination Graphs for Java Bytecode“. http://verify.rwth-aachen.de/giesl/papers/Termination Graphs-distribute.Pdf, 1. Januar 2010.
American Psychological Association 7th editionMarc Brockschmidt, Carsten Otto, Christian Von Essen, Jürgen Giesl, & The Pennsylvania State University Cite Seer X Archives. (2010). Termination graphs for Java Bytecode. http://verify.rwth-aachen.de/giesl/papers/Termination Graphs-distribute.Pdf.
Modern Language Association 9th editionMarc Brockschmidt, Carsten Otto, Christian Von Essen, Jürgen Giesl, und The Pennsylvania State University Cite Seer X Archives. „Termination Graphs for Java Bytecode“. http://verify.rwth-aachen.de/giesl/papers/Termination Graphs-distribute.Pdf, Januar 2010.
ISO-690 (author-date, Deutsch)MARC BROCKSCHMIDT, CARSTEN OTTO, CHRISTIAN VON ESSEN, JÜRGEN GIESL und THE PENNSYLVANIA STATE UNIVERSITY CITESEERX ARCHIVES, 2010. Termination graphs for Java Bytecode. http://verify.rwth-aachen.de/giesl/papers/Termination Graphs-distribute.pdf. 1 Januar 2010