Forcing smooth square roots and integration I. Moerdijk, Ngo van Quê, G. Reyes (1987) Fundamenta Mathematicae