Daniel J. Bernstein: Proving primality in essentially quartic random time. Math. Comput. 76(257): 389-403 (2007)