François Morain: Elliptic Curves for Primality Proving. Encyclopedia of Cryptography and Security 2005