Kock, A., and G. E. Reyes. 1981. “Models for Synthetic Integration Theory”. MATHEMATICA SCANDINAVICA 48 (December):145-52. https://doi.org/10.7146/math.scand.a-11907.