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.