Bibliografia
Principal
- Computational Complexity : Sanjeev Arora & Boaz Barak 2009 Cambridge University Press
- Computability and complexity Theory: S. Homer and A. L. Selman 2011 Springer
- Computabilidade, Inferência Indutiva e Complexidade, : José Félix Costa e Paula Gouveia a ser submetido para publicação, 400 pp.