@book{14541,
	author = {Lochbihler, Andreas},
	title = {A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler},
	url = {https://www.ksp.kit.edu/9783866448858}
}