Bibliografia

Principal

• Elementos de Teoria da Computação: C. Caleiro, P. Gouveia e A. Sernadas 2006 Em preparação.

Secundária

• Computability and Complexity from a Programming Perspective: N. D. Jones 1997 MIT
• The Essence of Logic: J. Kelly 1997 Prentice Hall
• Introduction to the Theory of Computation.: M. Sipser 1997 PWS Publishing Company