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