Author: ACM Symposium on Symbolic and Algebraic Computation (1976 Yorktown Heights, N.Y.)