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