Primality testing and abelian varieties over finite fields - Adleman, Leonard M. (1964)