Algorithms vs. machines”, Bulletin of the European Association for Theoretical Computer (2002)

by Andreas Blass, Yuri Gurevich
Venue:Current Trends in Theoretical Computer Science: The Challenge of the New Century, vol. 2: Formal Models and Semantics, World Scientific Publishing Company