Barton, D.; Bournet, S. R. and J. P. Fitch "An algebra system"

(1970) The Computer Journal 13(1) January 1970  

Languages mentioned CAMAL {1968} CAMbridge ALgebra system