Robert L. Ashenhurst
-
Program verification: the very idea
Communications of the ACM
Viewpoint
Social processes and proofs of theorems and programs