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