Anton Stiglic: Primality Proving Algorithm. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 958