Bergstra, Jan Aldert. “Arithmetical Datatypes, Fracterms, and the Fraction Definition Problem”. Transmathematica (April 30, 2020). Accessed January 26, 2021. http://transmathematica.org/index.php/journal/article/view/33.