Syminv2 (Algorithm 150) CACM July, 1963 Evans Jr., A. CA630721 JB March 14, 1978 8:16 AM 803 5 803 803 5 803 803 5 803