James H. Davenport. Abstract Data Types in Computer Algebra. In Mogens Nielsen, Branislav Rovan, editors, Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings. Volume 1893 of Lecture Notes in Computer Science, pages 21-35, Springer, 2000. [doi]
Abstract is missing.