[comp.edu] Reasons why you don't prove your pr

gillies@p.cs.uiuc.edu (01/10/90)

Here is the reference:

Richard A. De Millo, Richard J. Lipton, and Alan J. Perlis.  Social
Processes and Proofs of Theorems and Programs, CACM May 1979, pp
271-280.