Kock A, Reyes GE. Models for synthetic integration theory. Math. Scand. 1981;48:145-152. doi:10.7146/math.scand.a-11907