Algorithms: A quest for absolute definitions (2003)

by A Blass, Y Gurevich
Venue:Bulletin of European Association for Theoretical Computer Science