An Extension to ALGOL for Manipulating Formulae*
CACM February, 1964
Perlis, A. J.
Iturriaga, R.
