Collins, George E., Algorithmic Approaches to Symbolic Integration and Simplification (Summary of the 1968 FJCC Panel Session)" pp. 5-16.

(1968) SIGSAM Bulletin 12(7) July 1968  

Languages mentioned SAC-1 {1967} Symbolic Algebraic Computing