Assertions: A Personal Perspective
C. A. R. Hoare
Journal
IEEE Annals of the History of Computing
Number
2
Pages
14−25
Volume
25
Year
2003
C. A. R. Hoare