An extension of ALGOL 60 with arbitrary datastructures and user-defined operators, for symbolicmathematics.["ABC ALGOL, A Portable Language for Formula ManipulationSystems", R.P. van de Riet, Amsterdam Math Centrum 1973].
