Anton Stiglic: Primality Proving Algorithm. Encyclopedia of Cryptography and Security 2005