S. B. CooperBooksThe selected works of A.M. TuringComputability theoryThe once and future TuringComputability in contextComputability and modelsNew computational paradigmsComputability, enumerability, unsolvabilityComputability and modelsAuthor data: Open Library
