J. A. Bergstra and J. V. Tucker, Equational specifications, complete term rewriting systems, and computable and semicomputable algebras, Journal of the ACM, vol.42, issue.6, pp.1194-1230, 1995.
DOI : 10.1145/227683.227687

N. Calkin and H. S. Wilf, Recounting the Rationals, The American Mathematical Monthly, vol.107, issue.4, pp.360-363, 2000.
DOI : 10.2307/2589182

E. Contejean, C. Marché, and L. Rabehasaina, Rewrite systems for natural, integral , and rational arithmetic. Rewriting techniques and applications 1997, LNCS 1232, pp.98-112, 1997.

H. Ehrig and B. Mahr, Fundamentals of Algebraic Specifications I: Equations and Initial Semantics, EATCS Monographs on Theoretical Computer Science, vol.6, 1985.

J. W. Thatcher, G. Eric, J. B. Wagner, and . Wright, Data type specification, Proceedings of the tenth annual ACM symposium on Theory of computing , STOC '78, pp.119-132, 1978.
DOI : 10.1145/800133.804340