@article{LDTA-J-2007-CamachoMBV,
	author        = "Diego Ordóñez Camacho and Kim Mens and Mark van den Brand and Jurgen J. Vinju",
	doi           = "10.1016/j.scico.2009.10.003",
	editor        = "Adrian Johnstone and Anthony M. Sloane and John Tang Boyland",
	journal       = "{Science of Computer Programming}",
	number        = "1-2",
	pages         = "3--20",
	title         = "{Automated generation of program translation and verification tools using annotated grammars}",
	volume        = 75,
	year          = 2010,
}