Nachum Dershowitz Yuri Gurevich A Natural Axiomatization of Computability and Proof of Church's Thesis. 299-350 2008 14 Bulletin of Symbolic Logic 3 http://www.math.ucla.edu/~asl/bsl/1403/1403-002.ps db/journals/bsl/bsl14.html#DershowitzG08