Check out
http://www.cs.aue.auc.dk/~hicks/courses/computability-f2003/class-1.pdf