Source : Free On-Line Dictionary of Computing

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)