Teoria da computação, computabilidade e complexidade - Coelho, Francisco; Neto, João Pedro (Escolar Editora, 2010)