C cs.umd.edu Social processes and proofs of theorems and programs (1979) [pdf] 18 points amadeuspagel 3 years ago 7 comments
