On the use of syntax-based translators for symbolic and algebraic manipulationS.R. Petrick1971SYMSAC 1971