Algorithms: A Quest for Absolute Definitions. (2003)

by A Blass, Y Gurevich
Venue:Reprinted in Current Trends in Theoretical Computer Science, 283–311, World Scientific (2004); and in Olszewski