@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}
  }