3 books • 2 series
Computability and Complexity (Foundations of Computing)
Partial Evaluation and Automatic Program Generation (Prentice Hall International Series in Computing Science)
Computability Theory