A λ-calculus interpreter and its relationship to algorithmic languages. - Ian Kirkland Livingstone (1974)