Algorithms: A quest for absolute definitions (2003)

by Andreas Blass, Yuri Gurevich
Venue:Bulletin of the European Association for Theoretical Computer Science