Social processes and proofs of theorems and programs (1979)

by Richard A De Millo, Richard J Lipton, Alan J Perlis
Venue:Communications of the Association of Computing Machinery