Algorithmic number theory - Bach, Eric; Shallit, Jeffrey Outlaw (MIT Press, 1996)