Constructive mathematics and automatic program writers (1971)

by Robert L Constable
Venue:In Proceedings of the IFIP Congress