@article{DBLP:journals/mscs/Harrison11,
  author       = {John Harrison},
  title        = {A formal proof of {P}ick's Theorem},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {21},
  number       = {4},
  pages        = {715--729},
  year         = {2011},
  skipurl          = {https://doi.org/10.1017/S0960129511000089},
  doi          = {10.1017/S0960129511000089},
  timestamp    = {Wed, 01 Apr 2020 08:48:50 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/Harrison11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{grunbaum1993pick,
  title={Pick's theorem},
  author={Gr{\"u}nbaum, Branko and Shephard, Geoffrey C},
  journal={The American Mathematical Monthly},
  volume={100},
  number={2},
  pages={150--161},
  year={1993},
  publisher={Taylor \& Francis}
}
