Algorithmic number theory - Bach, Eric (Foundations of computing series, 1996)