Title: A simple lambda-calculus model of programming languages
First published: 1973