Kock, A., & Reyes, G. E. (1981). Models for synthetic integration theory. MATHEMATICA SCANDINAVICA, 48, 145–152. https://doi.org/10.7146/math.scand.a-11907