Forcing smooth square roots and integration I. Moerdijk; Ngo van Quê; G. Reyes — 1987 Fundamenta Mathematicae
Corrigendum and addenda to the paper “Convenient vector spaces embed...” A. Kock; G. E. Reyes — 1987 Cahiers de Topologie et Géométrie Différentielle Catégoriques