Formula ALGOL
A. J. Perlis & R. Iturriaga, Carnegie 1962
An ALGOL extension for symbolic mathematics, strings and lists. For the CDC G-20 computer.
"An Extension of ALGOL for Manipulating Formulae", A. J. Perlis et al, CACM 7(2):127-130 (Feb 1964).