Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl und The Pennsylvania State University Cite Seer X Archives (ohne Datum) „Automated Detection of Non-Termination and Null Pointer Exceptions for Java Bytecode ⋆“, http://verify.rwth-aachen.de/brockschmidt/papers/JBC-Nonterm_report.pdf [Preprint].
Chicago Manual of Style 17th edition (full note)Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl, und The Pennsylvania State University Cite Seer X Archives. „Automated Detection of Non-Termination and Null Pointer Exceptions for Java Bytecode ⋆“. http://verify.rwth-aachen.de/brockschmidt/papers/JBC-Nonterm_report.Pdf, o. J.
American Psychological Association 7th editionMarc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl, & The Pennsylvania State University Cite Seer X Archives. (o. J.). Automated Detection of Non-Termination and Null Pointer Exceptions for Java Bytecode ⋆. http://verify.rwth-aachen.de/brockschmidt/papers/JBC-Nonterm_report.Pdf.
Modern Language Association 9th editionMarc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl, und The Pennsylvania State University Cite Seer X Archives. „Automated Detection of Non-Termination and Null Pointer Exceptions for Java Bytecode ⋆“. http://verify.rwth-aachen.de/brockschmidt/papers/JBC-Nonterm_report.Pdf.
ISO-690 (author-date, Deutsch)MARC BROCKSCHMIDT, THOMAS STRÖDER, CARSTEN OTTO, JÜRGEN GIESL und THE PENNSYLVANIA STATE UNIVERSITY CITESEERX ARCHIVES, [kein Datum]. Automated Detection of Non-Termination and Null Pointer Exceptions for Java Bytecode ⋆. http://verify.rwth-aachen.de/brockschmidt/papers/JBC-Nonterm_report.pdf