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