for the class of partial recursive functions:
see Sect. 5.2 pg(s). 91-94 in "J. Komara and P. J. Voda. Lecture Notes in Theory of Computability. 2001."