Bergstra, Jan Aldert, and John V. Tucker. 2020. “The Transrational Numbers As an Abstract Data Type”. Transmathematica, December. https://doi.org/10.36285/tm.47.