Author: ACM Symposium on Symbolic and Algebraic Computation (1981 Snowbird, Utah)