This is very cool! Thanks for posting this link. A very nice description of Turing machines, Abacus machines and in introduction to recursive functions can be

This is very cool! Thanks for posting this link. A very nice description of Turing machines, Abacus machines and in introduction to recursive functions can be found in the book "Computability and Logic" by Boolos, Burgess and Jeffrey.