Algorithmic number theory V.1 - Bach, Eric (MIT Press, 1996)