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