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
Recounting the Rationals, The American Mathematical Monthly, vol.107, issue.4, pp.360-363, 2000. ,
DOI : 10.2307/2589182
Rewrite systems for natural, integral , and rational arithmetic. Rewriting techniques and applications 1997, LNCS 1232, pp.98-112, 1997. ,
Fundamentals of Algebraic Specifications I: Equations and Initial Semantics, EATCS Monographs on Theoretical Computer Science, vol.6, 1985. ,
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