You are about to access our book library "EUROSAM 84: International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984 (Lecture Notes in Computer Science, 174) full version" .