Ngo van Quê and G. E. Reyes (1982). Synthetic Calculus and smooth functors. In
Troelstra A. S. and D. van Dalen (eds.). The L. E. J. Brouwer Symposium.
Amsterdam: North Holland, 377-395.