@PHDTHESIS{Spi02a, author = {Spitters, Bas}, title = {Constructive and intuitionistic integration theory and functional analysis}, school = {University of Nijmegen}, year = {2002}, keywords = {bib,con} }