"CAMAL User's Manual", John P. Fitch, Cambridge U, England (1975).
(1975)
Languages mentioned
CAMAL
{1968} CAMbridge ALgebra system