Computability and Decidability by J. Loeckx