@inproceedings{WCRE-2012-BernatM,
	author        = "Andrew R. Bernat and Barton P. Miller",
	booktitle     = "{Proceedings of the 19th Working Conference on Reverse Engineering}",
	doi           = "10.1109/WCRE.2012.11",
	isbn          = "978-1-4673-4536-1",
	pages         = "9--18",
	publisher     = "{IEEE Computer Society}",
	title         = "{Structured Binary Editing with a CFG Transformation Algebra}",
	year          = 2012,
}