Primality testing and abelian varieties over finite fields - Adleman, Leonard M. (Lecture notes in mathematics (Springer-Verlag), 1992)