General recursion theory, an axiomatic approach. - Springer Verlag, 1980. - ( Perspectives in mathematical logic ).