Syminv2 (Algorithm 150)
CACM March, 1964
Naur, P.
