Fundamental concepts in programming languages. Higher Order Symbolic Computation (2000)

by Christopher Strachey