See the slides:
 http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-625-lpp/1314zs/pr/doc/handout.pr11.pdf
 http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-625-lpp/1314zs/pr/doc/handout.pr12.pdf
See also some of the lecture notes from previous years:
 http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-625-lpp/1011zs/ln/doc/ch_r_nf.pdf
See also Sect. 5.2 pg(s). 91-93 in
 "J. Komara and P. J. Voda. Lecture Notes in Theory of Computability. 2001."
 http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-625-lpp/doc/comp2001.pdf