Constructive mathematics and computer programming (1979) [pdf]cs.cornell.edu130 pointsmathetic7 years ago