Lawrence S. Moss. Simple Equational Specifications of Rational Arithmetic. Discrete Mathematics & Theoretical Computer Science, 4(2):291-300, 2001. [doi]
@article{Moss01:0, title = {Simple Equational Specifications of Rational Arithmetic}, author = {Lawrence S. Moss}, year = {2001}, url = {http://dmtcs.loria.fr/volumes/abstracts/dm040216.abs.html}, researchr = {https://researchr.org/publication/Moss01%3A0}, cites = {0}, citedby = {0}, journal = {Discrete Mathematics & Theoretical Computer Science}, volume = {4}, number = {2}, pages = {291-300}, }