Gerwin Klein, Martin Wildmoser, Technische Universität München und The Pennsylvania State University Cite Seer X Archives (2003) „Verified Bytecode Subroutines“, http://www4.in.tum.de/publ/papers/Klein W-TPHOLs03.pdf [Preprint].
Chicago Manual of Style 17th edition (full note)Gerwin Klein, Martin Wildmoser, Technische Universität München, und The Pennsylvania State University Cite Seer X Archives. „Verified Bytecode Subroutines“. http://www4.in.tum.de/publ/papers/Klein W-TPHOLs03.Pdf, 1. Januar 2003.
American Psychological Association 7th editionGerwin Klein, Martin Wildmoser, Technische Universität München, & The Pennsylvania State University Cite Seer X Archives. (2003). Verified Bytecode Subroutines. http://www4.in.tum.de/publ/papers/Klein W-TPHOLs03.Pdf.
Modern Language Association 9th editionGerwin Klein, Martin Wildmoser, Technische Universität München, und The Pennsylvania State University Cite Seer X Archives. „Verified Bytecode Subroutines“. http://www4.in.tum.de/publ/papers/Klein W-TPHOLs03.Pdf, Januar 2003.
ISO-690 (author-date, Deutsch)GERWIN KLEIN, MARTIN WILDMOSER, TECHNISCHE UNIVERSITÄT MÜNCHEN und THE PENNSYLVANIA STATE UNIVERSITY CITESEERX ARCHIVES, 2003. Verified Bytecode Subroutines. http://www4.in.tum.de/publ/papers/Klein W-TPHOLs03.pdf. 1 Januar 2003