Author: International Symposium on Symbolic and Algebraic Computation (1984 Cambridge, England)