Social processes and proofs of theorems and programs (1979)

by R A DE MILLO, R J LIPTON, A J PERLIS
Venue:Comrnun. ACM