Symbolic and algebraic computation : Eurosan´79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979 - Ng, Edward W. (Lecture Notes in Computer Science, 1979)