Chan, Hing Lun, and Michael Norrish. “A String of Pearls: Proofs of Fermat’s Little Theorem”. Journal of Formalized Reasoning 6, no. 1 (October 16, 2013): 63–87. Accessed July 27, 2024. https://jfr.unibo.it/article/view/3728.