Teoria da Computação

  1. E. Borger, 
    Computability, Complexity, Logic,
    Elsevier Science Publishers, 
    Amsterdam,
    1989.

  2. C. L. Lucchesi , I. Simon and I. Simon , J. Simon and T. Kowaltowski,
    Aspectos Teóricos da Computação,
    Projeto Euclides, IMPA-CNPq, 
    Livros Técnicos e Científicos Editora, 
    Rio de Janeiro,
    1979.