Engeli, M.E. "Formula manipulationthe user's point of view" pp117-171

Advances in Information Systems Science, Vol. (1969) Advances in Information Systems Science, Vol. 1 Tou, J T (ed) Plenum Press, New York, 1969   Max Engeli

Languages mentioned SYMBAL {1967} An extension of ALGOL to do formal algebraic manipulation.