Perlis et al, A.J. "An Extension of ALGOL for Manipulating Formulae",

[ACM] (1969) [ACM] CACM 12(08) (Aug 1969)   Alan.J. Perlis

Languages mentioned Formula ALGOL {1962} ALGOL dialect for algebraic manipulation