Constructive Mathematics and Automatic Program Writers
by Robert L. Constable
Proceedings of the IFIP Congress, pp. 229-233, 1971.
Sorry, there are no downloadable files available for this document at this time.
