Social Processes and Proofs of Theorems and Programs.

Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis

Browse the full POPL paper archive.