Gerwin Klein, Tobias Nipkow, Technische Universität München und The Pennsylvania State University Cite Seer X Archives (ohne Datum) „Abstract Verified Bytecode Verifiers“, http:/ sabelle.in.tum.de/~nipkow/pubs/tcs03.pdf [Preprint].
Chicago Manual of Style 17th edition (full note)Gerwin Klein, Tobias Nipkow, Technische Universität München, und The Pennsylvania State University Cite Seer X Archives. „Abstract Verified Bytecode Verifiers“. http:/ sabelle.in.tum.de/~nipkow/pubs/tcs03.Pdf, o. J.
American Psychological Association 7th editionGerwin Klein, Tobias Nipkow, Technische Universität München, & The Pennsylvania State University Cite Seer X Archives. (o. J.). Abstract Verified Bytecode Verifiers. http:/ sabelle.in.tum.de/~nipkow/pubs/tcs03.Pdf.
Modern Language Association 9th editionGerwin Klein, Tobias Nipkow, Technische Universität München, und The Pennsylvania State University Cite Seer X Archives. „Abstract Verified Bytecode Verifiers“. http:/ sabelle.in.tum.de/~nipkow/pubs/tcs03.Pdf.
ISO-690 (author-date, Deutsch)GERWIN KLEIN, TOBIAS NIPKOW, TECHNISCHE UNIVERSITÄT MÜNCHEN und THE PENNSYLVANIA STATE UNIVERSITY CITESEERX ARCHIVES, [kein Datum]. Abstract Verified Bytecode Verifiers. http:/ sabelle.in.tum.de/~nipkow/pubs/tcs03.pdf