George E. Collins. The SAC-1 system: An introduction and survey. 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 144-152, ACM, 1971. [doi]
Abstract is missing.