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