Довольно подробное изложение есть в Василенко Теоретико-числовые алгоритмы в криптографии, глава 1.8
http://lib.mexmat.ru/books/4633(книгу также легко нагуглить и скачать)
Где описано точнее не знаю, пробуйте гуглить. Но в книге есть множество ссылок, походите по ним. Но в алгоритме вроде все понятно. О характерах, круговых полях алгебраических чисел, суммах Якоби можно прочесть в книге Айрленда Роузена Классическое введение в современную теорию чисел.