A.Granville and C.Pomerance, On the difficulty of finding reliable witnesses, Algorithmic Number Theory (1994)

by W R Alford
Venue:Lecture Notes in Computer Science, vol.877