Hints on Programming Language Design, Stanford University Artificial Intelligence memo AIM-224/STAN-CS-73-403 (1973)

by C A R Hoare
Venue:reprinted in Essays in Computing Science, ed. C.B