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.