Patrizia M. Gianni Symbolic and Algebraic Computation, International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988, Proceedings ISSAC Lecture Notes in Computer Science 358 Springer 1989 3-540-51084-2 db/conf/issac/issac88.html