Backhouse, R., & Ferreira, J. F. (2011). On Euclid’s algorithm and elementary number theory. Science of Computer Programming, 76(3), https://doi.org/10.1016/j.scico.2010.05.006