Mohand Ourabah Benouamer Dominique Michelucci Bernard Peroche Error-free boundary evaluation using lazy rational arithmetic: a detailed implementation. 115-126 1993 Solid Modeling and Applications http://doi.acm.org/10.1145/164360.164403 db/conf/sma/sma1993.html#BenouamerMP93