@inproceedings{Chan_Norrish_12, month = oct, paperurl = {https://trustworthy.systems/publications/nicta_full_text/6061.pdf}, publisher = {Springer}, booktitle = {International Conference on Certified Programs and Proofs}, editor = {{Chris Hawblitzel and Dale Miller}}, author = {Chan, Hing-Lun and Norrish, Michael}, year = {2012}, pages = {188--207}, title = {A String of Pearls: Proofs of Fermat’s Little Theorem}, address = {Kyoto, Japan} }