Weyuker de "Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science", un libro de texto sobre la teoría de la computabilidad.