@article{GPCE-J-2005-HuangZS11,
	author        = "Shan Shan Huang and David Zook and Yannis Smaragdakis",
	doi           = "10.1016/j.scico.2008.09.007",
	journal       = "{Science of Computer Programming}",
	number        = 5,
	pages         = "376--391",
	title         = "{Statically safe program generation with SafeGen}",
	volume        = 76,
	year          = 2011,
}