Hints on Programming Language Design (1989)

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