Social processes and proofs of theorems and programs (1979) [pdf] · HackerTrans