Hints on programming-language design (1989)

by C A R Hoare
Venue:In Essays in Computing Science