Correct and optimal implementations of recursion in a simple programming language (1974)

by J Vuillemin
Venue:J. Comput. System Sci