S. Igarashi
-
Some Completeness Results in the Mathematical Theory of Computation
Journal of the ACM (JACM)
A proposal for definitions in ALGOL
Communications of the ACM