CORPORATE Tech Correspondence
-
Program verification: the very idea
Communications of the ACM
Social processes and proofs of theorems and programs
President's letter