Harrington, SJ "A new symbolic integration system in reduce"

(1979) The Computer Journal 22(2) May 1979  

Languages mentioned REDUCE {1963}