@Book{HW92, Author = "Hardy, G.H. and Wright, E.M.", Year = "1992", Title = "{An Introduction to the Theory of Numbers}", Edition = "5", Publisher = "Oxford UP", Comment = "TPTPRef" }