THEORY OF RECURSIVE FUNCTIONS AND EFFECTIVE COMPUTABILITY
HARTLY ROGERS1967 年出版482 页ISBN：
AUTOMATA COMPUTABILITY AND COMPLEXITY THEORY AND APPLICATIONS
ELAINE RICH2222 年出版1099 页ISBN：7302212935
Lecture Notes in Computer Science 3526 New Computational Paradigms First Conference on Computability
CiE 20052005 年出版574 页ISBN：3540261796
