Bergstra, Jan Aldert, and John V. Tucker. “The Transrational Numbers As an Abstract Data Type”. Transmathematica (December 16, 2020). Accessed August 31, 2026. https://www.transmathematica.org/index.php/journal/article/view/47.