A provably correct and probably fast primality test (1986)

by S Goldwasser, J Kilian
Venue:Proceedings of the 18th Annual ACM Symposium on the Theory of Computing