Hints on Programming Language Design
C.A.R. Hoare
Book Title
State of the Art Report 20: Computer Systems Reliability
Editor
C.J. Bunyan
Pages
505–534
Publisher
Pergamon/Infotech
Year
1974
C.A.R. Hoare