@inproceedings{FM-2016-LahavV,
	author        = "Ori Lahav and Viktor Vafeiadis",
	booktitle     = "{Proceedings of the 21st International Symposium of Formal Methods}",
	doi           = "10.1007/978-3-319-48989-6_29",
	isbn          = "978-3-319-48988-9",
	pages         = "479--495",
	title         = "{Explaining Relaxed Memory Models with Program Transformations}",
	year          = 2016,
}