John Cannon, Lucien A. Dimino. The design of a language for the development of group theoretic programs. In Stanley R. Petrick, Jean E. Sammet, Robert G. Tobey, Joel Moses, editors, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971. pages 158, ACM, 1971. [doi]
Abstract is missing.