Constructive mathematics and automatic program writers (1971)

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