Bryan Kocher
-
Program verification: the very idea
Communications of the ACM
Technical correspondence
Viewpoint
Social processes and proofs of theorems and programs