Jan A. Bergstra, John V. Tucker. The Wheel of Rational Numbers as an Abstract Data Type. In Markus Roggenbach, editor, Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers. Volume 12669 of Lecture Notes in Computer Science, pages 13-30, Springer, 2020. [doi]
Abstract is missing.