Flickr. Retrieved 1 January 2012. ↑ Wilfried Sieg, 2005, Church without dogma: axioms for computability, Carnegie Mellon University ↑ Robin Gandy — The Alan Turing Scrapbook, archived at Archive.Today