Martin, W. A. "Symbolic mathematical laboratory" Mac-TR-36, PhD Th., MIT, Cambridge, Mass 1967
(1967)
Languages mentioned
SML
{1969} MIT interactive maths system