A formal description of a subset of ALGOL (1966)

by J McCarthy
Venue:In [Ste66