Cite Them Right 11th edition - Harvard

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 edition

Gerwin 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 edition

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.

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

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.