Social processes and proofs of theorems and programs
De Millo, Richard A., Lipton, Richard J., Perlis, Alan J.Volume:
22
Language:
english
Journal:
Communications of the ACM
DOI:
10.1145/359104.359106
Date:
May, 1979
File:
PDF, 1.06 MB
english, 1979