Martin, W. A. Review of Engeli 1968 (Tech Report) SYMBAL

(1969) ACM Computing Reviews 10(11) November 1969  

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