Models for synthetic integration theory. - Kock, A.; Reyes, G. E. (Mathematica Scandinavica, 1981)