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