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