@inproceedings{STOC-2008-GoldwasserGHKR,
	author        = "Shafi Goldwasser and Dan Gutfreund and Alexander Healy and Tali Kaufman and Guy N. Rothblum",
	booktitle     = "{Proceedings of the 40th Annual ACM Symposium on Theory of Computing}",
	doi           = "10.1145/1374376.1374399",
	isbn          = "978-1-60558-047-0",
	pages         = "143--152",
	publisher     = "{ACM}",
	title         = "{A (de)constructive approach to program checking}",
	year          = 2008,
}