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]. Last updated: 1995-02-15