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