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