2 livres dans ce genre
Classical and new paradigms of computation and their complexity hierarchies
Benedikt Löwe
General recursion theory
J. E. Fewstad
