Book

The varieties of programming language

by Christopher Strachey