Computability and decidability - Loeckx, Jacques (Springer, 1972)