@misc{indiciae604864dfb366,
  title = {On Euclid's Algorithm and Elementary Number Theory},
  author = {Roland Backhouse and João F. Ferreira},
  year = {2015},
  doi = {10.1016/j.scico.2010.05.006},
  url = {https://arxiv.org/abs/1506.05981},
  note = {Source identifier: 1506.05981}
}