On founding the theory of algorithms (1997)

by A J C Hurkens, Monica McArthur, Yiannis N Moschovakis, Lawrence
Venue:the Journal of Symbolic Logic