Barton, D. A scheme for manipulative algebra on a computer. p340

(1967) The Computer Journal 9(4) 1967  

Languages mentioned CAMAL {1968} CAMbridge ALgebra system