TY  - RPRT
TI  - A computer verified, monadic, functional implementation of the integral
AU  - Russell O'Connor
AU  - Bas Spitters
PY  - 2010
DO  - 10.1016/j.tcs.2010.05.031
UR  - https://arxiv.org/abs/0809.1552
ID  - 0809.1552
ER  -