Hints on programming language design (1973)

by C A R Hoare