Primality proving with cyclotomy (1990)

by W Bosma, M der Hulst