1-2 of 2 Books
Generalized recursion theory
By Symposium on Generalized Recursion Theory University of Oslo 1972.
Introduction à la théorie des langages de programmation
By Bertrand Meyer