Chan, H. L. and Norrish, M. (2013) “A String of Pearls: Proofs of Fermat’s Little Theorem”, Journal of Formalized Reasoning, 6(1), pp. 63–87. doi: 10.6092/issn.1972-5787/3728.