Fitch, J. P. "An Algebraic Manipulator" Ph.D. thesis, University of Cambridge, 1971
(1971)
Languages mentioned
CAMAL
{1968} CAMbridge ALgebra system