1.
Bergstra JA, Tucker JV. The Transrational Numbers as an Abstract Data Type. Transmath [Internet]. 2020Dec.16 [cited 2021Jan.27];. Available from: http://transmathematica.org/index.php/journal/article/view/47