General recursion theory: an axiomatic approach - Fenstad, Jens Erik (Perspectives in mathematical logic, 1980)