An Improved Las Vegas Primality Test. - Erich L. Kaltofen; Thomas Valente; Norika Yui (ISSAC, 1989)