Here is another paper of his related to this: How Did Software Get So Reliable Without Proof? C.A.R. Hoare 1996 (?) http://users.csc.calpoly.edu/~gfisher/class

Here is another paper of his related to this: How Did Software Get So Reliable Without Proof? C.A.R. Hoare 1996 (?) http://users.csc.calpoly.edu/~gfisher/classes/509/handouts/hoare-without-proof.pdf http://users.csc.calpoly.edu/~gfisher/classes/509/handouts/h...