Cite Them Right 11th edition - Harvard

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

Chicago Manual of Style 17th edition (full note)

Lochbihler, Andreas. „A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler“. Cd. KIT Scientific Publishing, [2012?], KIT Scientific Publishing, [2012?].

American Psychological Association 7th edition

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

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.

ISO-690 (author-date, Deutsch)

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

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