Symbolic and Algebraic Computation Eurosam '79, an International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979 - Ng, E. W. (Lecture Notes in Computer Science Ser.)