Formula ALGOL
An ALGOL extension for symbolic mathematics, strings and lists, developed by A.J. Perlis and R. Iturriaga at Carnegie for the CDC G-20 in 1962.
["An Extension of ALGOL for Manipulating Formulae", A.J. Perlis et al, CACM 7(2):127-130 (Feb 1964)].
[Sammet 1969, p. 583].