1. Agrawal, M., Kayal, N., Saxena, N.: PRIMES is in P. Annals of Mathematics 160(2), 781–793 (2004)
2. Conrad, K.: Group actions (2008),
http://www.math.uconn.edu/~kconrad/blurbs/grouptheory/gpaction.pdf
3. Dickson, L.E.: History of the Theory of Numbers: vol. 1: Divisibility and Primality. Carnegie Institution of Washington (1919)
4. Golomb, S.W.: Combinatorial proof of Fermat’s “Little” Theorem. The American Mathematical Monthly 63(10), 718 (1956)
5. Gunter, E.L.: Doing algebra in simple type theory. Technical Report MS-CIS-89-38, Department of Computer and Information Science, Moore School of Engineering,University of Pennsylvania (June 1989)