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