Backhouse R, Ferreira JF.? 2011.??On Euclid's Algorithm and Elementary Number Theory. Science of Computer Programming. 76(3):160-180.