Lionel Elie Mamane Surreal Numbers in Coq. 170-185 2004 conf/types/2004 TYPES http://dx.doi.org/10.1007/11617990_11 db/conf/types/types2004.html#Mamane04