44. Social Processes and Proofs of Theorems and Programs

Author: Richard DeMillo, Richard Lipton, and Alan Perlis

Original date: 1977

Back to Ideas That Created the Future