[1]
Bergstra, J.A. 2020. Arithmetical Datatypes, Fracterms, and the Fraction Definition Problem. Transmathematica. (Apr. 2020). DOI:https://doi.org/10.36285/tm.33.