@article{sasaki-murao,
  author  = {Thierry Coquand and Anders M\"ortberg and Vincent Siles},
  title   = {{A Formal Proof of Sasaki-Murao Algorithm}},
  journal = {Journal of Formalized Reasoning},
  year    = {2012},
  volume  = {5},
  number  = {1},
  pages   = {27--36},
  issn    = {1972-5787},
  doi     = {10.6092/issn.1972-5787/2615},
  url     = {http://dx.doi.org/10.6092/issn.1972-5787/2615},
}