Moerdijk I., Ngo van Quê and G. E. Reyes (1987). Forcing square roots and
integration theory. Fund. Math. 128, 145-158.