@phdthesis{Spitters:phd,
        title = {Constructive and intuitionistic integration theory and function
al analysis},
        year = {2002},
        school = {University of Nijmegen},
        author = {Bas Spitters}
}