Social processes and proofs of theorems and programs (1979)

by R A D Millo, R J Lipton, A J Perlis
Venue:Commun. ACM