QArith: Coq formalisation of lazy rational arithmetic (2003)

by M Niqui, Y Bertot
Venue:Types for Proofs and Programs, volume 3085 of LNCS