D. Valadares e S. Ribas, “Testes Determinísticos de Primalidade”, RMAT, vol. 1, out. 2025.