APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.