Binary quadratic forms : An algorithmic approach - Buchmann, Johannes (new york Springer, 2007)