James H. Griesmer, Thomas J. Watson. SIGSAM 1-Symbolic mathematical systems (Part I)(Tutorial). In Earl C. Joseph, John D. White, editors, Proceedings of the 1975 ACM Annual Conference, Minneapolis, Minnesota, October 20-22, 1975. pages 259, ACM, 1975. [doi]
Abstract is missing.