American Psychological Association 6th edition

Lochbihler, A. [ca. 2012]. A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler [Cd]. [Erscheinungsort nicht ermittelbar]: KIT Scientific Publishing.

ISO-690 (author-date, English)

LOCHBIHLER, Andreas, 2012. A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler. [Erscheinungsort nicht ermittelbar]: KIT Scientific Publishing. ISBN 9783866448858.

Modern Language Association 9th edition

Lochbihler, A. A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler. cd, KIT Scientific Publishing, 2012.

Mohr Siebeck - Recht (Deutsch - Österreich)

Lochbihler, Andreas: A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler, [Erscheinungsort nicht ermittelbar] 2012.

Emerald - Harvard

Lochbihler, A. (2012), A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler, Bd. , KIT Scientific Publishing, [Erscheinungsort nicht ermittelbar].

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