Slagle, James R. "A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus" pp507-520

[ACM] (1963) [ACM] JACM 10(04) October 1963  

Languages mentioned SAINT {1961} A program to do formal integration