The Free On-line Dictionary of Computing (30 December 2018):

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].

   (1995-02-15)