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