On Euclid's algorithm and elementary number theory

[1]  Edsger W. Dijkstra,et al.  Fibonacci and the greatest common divisor , 1996, NATO ASI DPD.

[2]  R. G. Stone,et al.  Program Construction , 1979, Lecture Notes in Computer Science.

[3]  Fred B. Schneider,et al.  A Logical Approach to Discrete Math , 1993, Texts and Monographs in Computer Science.

[4]  K. Hirst.  Numbers, sequences and series , 1995 .

[5]  Herbert S. Wilf,et al.  Recounting the Rationals , 2000, Am. Math. Mon..

[6]  Donald Ervin Knuth,et al.  The Art of Computer Programming, Volume II: Seminumerical Algorithms , 1970 .

[7]  John B. Fraleigh.  A first course in abstract algebra , 1967 .

[8]  K. Hensel.  Journal für die reine und angewandte Mathematik , 1892 .

[9]  Edsger W. Dijkstra,et al.  Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.

[10]  Jeremy Gibbons,et al.  Enumerating the Rationals , 2004 .

[11]  David Burton.  Elementary Number Theory , 1976 .

[12]  N. J. A. Sloane,et al.  The On-Line Encyclopedia of Integer Sequences , 2003, Electron. J. Comb..

[13]  Ronald L. Graham,et al.  Concrete mathematics - a foundation for computer science , 1991 .

[14]  Roland Carl Backhouse.  Program Construction: Calculating Implementations from Specifications , 2003 .

[15]  A. J. M. van Gasteren,et al.  On the Shape of Mathematical Arguments , 1990, Lecture Notes in Computer Science.

[16]  B. Hayes.  On the Teeth of Wheels , 2000, American Scientist.

[17]  Richard Stong,et al.  Recounting the Rationals, Continued: 10906 , 2003, The American mathematical monthly.

[18]  Richard S. Bird,et al.  FUNCTIONAL PEARL: Enumerating the rationals , 2006, Journal of Functional Programming.

[19]  M. Stern.  Ueber eine zahlentheoretische Funktion. , 1858 .

[20]  Underwood Dudley.  Elementary Number Theory , 1978 .

[21]  David Thomas,et al.  The Art in Computer Programming , 2001 .

[22]  M. Aigner,et al.  Proofs from "The Book" , 2001 .

[23]  Roland Carl Backhouse,et al.  Recounting the Rationals: Twice! , 2008, MPC.

[24]  Martin Aigner,et al.  Proofs from THE BOOK , 1998 .