Kock, A., and G. E. Reyes. “Models for Synthetic Integration Theory”. MATHEMATICA SCANDINAVICA 48 (December 1, 1981): 145–152. Accessed May 7, 2024. https://www.mscand.dk/article/view/11907.