George E. Collins. SIGSAM 2-Symbolic mathematical systems (Part II) and methods for symbolic and algebraic computation (Tutorial and papers). In Earl C. Joseph, John D. White, editors, Proceedings of the 1975 ACM Annual Conference, Minneapolis, Minnesota, October 20-22, 1975. pages 265, ACM, 1975. [doi]