Computers in mathematical research. (Clarendon Press, 1988)