Bruce W. Char, Paul S. Wang, Wolfgang Küchlin: Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC 1997, Maui, Hawaii, USA, July 21-23, 1997. ACM 1997, ISBN 0-89791-875-4