An abstract computer with a lisp-like machine language without a label operator (1963)

by P C Gilmore
Venue:In Computer Programming and Formal Systems