%0 Report
%F Hoare73
%A Hoare, C. A. R.
%T Hints on programming language design
%V STAN-CS-73-403
%I Stanford Artificial Intelligence Laboratory
%D 1973
%U http://www.cs.berkeley.edu/~jcondit/pl-prelim/hoare89hints.pdf