General recursion theory : an axiomatic approach - Fenstad, Jens Erik (Springer-Verlag, 1980)