Kock A. and G. E. Reyes (1981). Models for synthetic integration theory. Math.
Scand. 48, 145-152.