Constructive mathematics as a programming logic I: Some principles of theory (1985)

by Robert L Constable
Venue:In Topics in the Theory of Computation