Syminv2 (Algorithm 150)
CACM July, 1963
Evans Jr., A.
