@article{MS2_1981__48_166745,
     author = {A. Kock and G.E. Reyes},
     title = {Models for synthetic integration theory.},
     journal = {Mathematica Scandinavica},
     pages = {145--152},
     publisher = {mathdoc},
     volume = {48},
     year = {1981},
     zbl = {0485.51017},
     url = {http://geodesic.mathdoc.fr/item/MS2_1981__48_166745/}
}