Engeli, M. E., "User manual for the formula manipulation language SYMBAL," 2nd Printing TRM-8.01, Computation Center, University of Texas at Austin, 1969.

Languages mentioned

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