ספרים?
M.D. Davis, R. Sigal, E.J. Weyuker, Computability, Complexity and Languages, Fundamentals of Theoretical Computer Science, Academic Press, 1994. D. Harel, The Science of Computing: Exploring the Nature and Power of Algorithms, Addison Wesley, 1989. כמובן - אלה ספרי הלימוד של האו"פ לנושא. לספר של דוד הראל יש תרגום לא רע בהוצאת האו"פ.