Kock, A. and Reyes, G.E. (1981) “Models for synthetic integration theory”., Mathematica Scandinavica, 48, pp. 145–152. doi:10.7146/math.scand.a-11907.