Assertions: A Personal Perspective

C. A. R. Hoare. Assertions: A Personal Perspective. IEEE Annals of the History of Computing, 25(2):14-25, 2003. [doi]

Authors

C. A. R. Hoare

This author has not been identified. Look up 'C. A. R. Hoare' in Google