Bergstra, J. A., and J. V. Tucker. “The Transrational Numbers As an Abstract Data Type”. Transmathematica, Dec. 2020, doi:10.36285/tm.47.