A programming approach to computability. - Springer Verlag, 1982. - ( Texts and Monographs in Computer Science ).