Logic for computable functions: description of a machine implementation (1972)

by R Milner