A framework for deterministic primality proving using elliptic curves with complex multiplication. - Alexander Abatzoglou; Alice Silverberg; Andrew V. Sutherland; Angela Wong (Math. Comput., 2016)