APA Style

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

MLA Style

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