Kock, A.; Reyes, G. E. Models for Synthetic Integration Theory. Math. Scand. 1981, 48, 145-152.