Assertions: A Personal Perspective
C. A. R. Hoare
Journal
Computer Software
Note
Reprint of Kyoto Prize lecture
Number
4
Pages
2−17
Volume
18
Year
2001
C. A. R. Hoare