Computability by N.J. Cutland & Nigel Cutland