John J. Cannon. The basis of a computer system for modern algebra. In Paul S. Wang, editor, SYMSAC 1981, Proceedings of the Symposium on Symbolic and Algebraic Manipulation, Snowbird, Utah, USA, August 5-7, 1981. pages 1-5, ACM, 1981. [doi]
Abstract is missing.