A. Kock and G. E. Reyes, “Models for synthetic integration theory”., Math. Scand., vol. 48, pp. 145–152, Dec. 1981.