
@conference {inp:Lochbihler2012a,
	title = {Java and the Java Memory Model {\textendash} a Unified, Machine-Checked Formalisation},
	booktitle = {Proceedings of the ACM SIGPLAN 7th Workshop on Programming Languages and Systems (PLAS 2012)},
	year = {2012},
	author = {A. Lochbihler}
}
