Erich Kaltofen T. Valente Norika Yui An Improved Las Vegas Primality Test. 26-33 1989 conf/issac/1989 ISSAC http://doi.acm.org/10.1145/74540.74545 db/conf/issac/issac89.html#KaltofenVY89