Social processes and proofs of theorems and programs (0)

by R A De Millo, R J Lipton, A J Perlis
Venue:Comm. ACM