Simple equational specifications of rational arithmetic. Moss, Lawrence S. — 2001 Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]