A natural axiomatization of Church’s thesis (2007)

by Nachum Dershowitz, Yuri Gurevich