@inproceedings{STOC-1979-ODonnell,
	author        = "Michael O'Donnell",
	booktitle     = "{Proceedings of the 11th Annual ACM Symposium on Theory of Computing}",
	doi           = "10.1145/800135.804411",
	pages         = "176--188",
	publisher     = "{ACM}",
	title         = "{A Programming Language Theorem Which Is Independent of Peano Arithmetic}",
	year          = 1979,
}