[1]
J. A. Bergstra, “Arithmetical Datatypes, Fracterms, and the Fraction Definition Problem”, Transmath, Apr. 2020.