Martin, W.A. "Symbolic Mathematical Laboratory" Ph.D. M.I.T., 1967
(1967)
Languages mentioned
SML
{1969} MIT interactive maths system