ABC ALGOL is an extension of Algol 60 with arbitrary data structures and user-defined operators, for symbolic mathematics.
["ABC ALGOL, A Portable Language for Formula Manipulation Systems", R.P. van de Riet, Amsterdam Math Centrum 1973].
See also:
This article (or an earlier version of it) contains material from FOLDOC, used with permission.