Computional problems methods and results in algebric number theory - Zimmer Horst G (1972)