Moses, Joel "Symbolic integration: the stormy decade"
(1971)
[ACM] (1971)
[ACM] CACM 14(08) August 1971
Languages mentioned
SAINT
{1961} A program to do formal integration
SIN
{1967} Symbolic maths package