EUROSAM 84 : International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984 - Fitch, John, 1945- (Lecture notes in computer science, 1984)