Computers in mathematics - Chudnovski, David A (Lecture Notes in Pure and Applied Mathematics, Vol.125, 1990)