Social Processes and Proofs of Theorems and Programs. - De Milo, Richard A.; Lipton, Richard J.; Perlis, Alan J. (Communications of the ACM, 1979)