Logic for Computable Functions: Description of a Machine Implementation (1972)

by R Milner