Social Processes and Proofs of Theorems and Programs (1979) [pdf]cs.cmu.edu2 pointsnickpsecurity8 years ago