Recursive Processes and ALGOL Translation
CACM January, 1961
Gray, A. A.
