Engeli, M. E., "User manual for the formula manipulation language SYMBAL," TRM-8.00, Computation Center, University of Texas at Austin, March 1968.

Languages mentioned

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