| Título | Autor | Lugar | Edicíon |
|---|---|---|---|
| Computational complexity | Papadimitriou, Christos H. | Reading | Repr. with corr. (1995) |
| Introduction to automata theory, languages, and computation | Hopcroft, John E. | Reading | 1a ed. (1979) |
| Program verification | Francez, Nissim | Cambridge | (1992) |
| Computational complexity | Arora, Sanjeev | Nueva York | (2009) |
| Computational complexity | Goldreich, Oded | Cambridge | 1st ed. (2008) |