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