Algorithmic algebra and number theory (Berlin Springer-Verlag, 1999)