Bergstra, Jan Aldert. 2020. “Arithmetical Datatypes, Fracterms, and the Fraction Definition Problem”. Transmathematica, April. https://doi.org/10.36285/tm.33.