@article{Riemann,
	title = "A computer verified, monadic, functional implementation of the integral.",
	author = "Russell O'Connor and Bas Spitters",
	url = "http://arxiv.org/abs/0809.1552"
	journal ="Theoretical Computer Science",
	doi="doi:10.1016/j.tcs.2010.05.031"
        volume=411, 
        number={37}, 
        year=2010, 
        pages={3386--3402}
}