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