Social Processes and Proofs of Theorems and Programs (1979) dl.acm.org 5 points by lioeters 20 days ago · 0 comments Reader PiP Save No comments yet.