@article{LDTA-J-2005-WaddingtonY,
	author        = "Dan G. Waddington and Bin Yao",
	doi           = "10.1016/j.scico.2006.04.010",
	editor        = "Görel Hedin and John Tang Boyland",
	journal       = "{Science of Computer Programming}",
	number        = 2,
	pages         = "64--78",
	title         = "{High-fidelity C/C++ code transformation}",
	volume        = 68,
	year          = 2007,
}