Proceedings of the Fourth ACM symposium on Symbolic and algebraic computation 1981, Snowbird, Utah, United States

Symposiums on Symbolic and Algebraic Manipulation (SYMSAM)  

Cannon, John J. (1981) Cannon, John J. "The basis of a computer system for modern algebra"