Algorithms: a quest for absolute definitions (2003)

by A Blass, Yu Gurevich
Venue:Bull. Eur. Assoc. Theor. Comput. Sci. EATCS