see Sect. 7.2 pg(s). 154-163 in "P. J. Voda. Theory of Recursive Functions & Computability. 2000."