see also Sect(s). 6.1-6.2 pg(s). 113-119 in "J. Komara and P. J. Voda. Lecture Notes in Theory of Computability. 2001."