Solomon Feferman, Turing in the Land of O(z) in "The universal Turing machine: a half-century survey" by Rolf Herken 1995 ISBN 3-211-82637-8 page 111 /wiki/Solomon_Feferman
Concise Routledge encyclopedia of philosophy 2000 ISBN 0-415-22364-4 page 647 /wiki/ISBN_(identifier)
Alan Turing, Systems of Logic Based on Ordinals Proceedings London Mathematical Society Volumes 2–45, Issue 1, pp. 161–228.[1] https://web.archive.org/web/20141119022238/http://plms.oxfordjournals.org/content/s2-45/1/161.extract
Solomon Feferman, Turing in the Land of O(z) in "The universal Turing machine: a half-century survey" by Rolf Herken 1995 ISBN 3-211-82637-8 page 111 /wiki/Solomon_Feferman
Alan Turing, Systems of Logic Based on Ordinals Proceedings London Mathematical Society Volumes 2–45, Issue 1, pp. 161–228.[1] https://web.archive.org/web/20141119022238/http://plms.oxfordjournals.org/content/s2-45/1/161.extract