Paul S. Wang: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1981, Snowbird, Utah, USA, August 5-7, 1981. ACM 1981, ISBN 0-89791-047-8