| Título | Autor | Lugar | Edicíon |
|---|---|---|---|
| Introduction to functional programming | Bird, Richard | Nueva York | 1st ed. (1988) |
| Logic in computer science | Huth, Michael | Inglaterra | 2nd ed. (2004) |
| Formal methods in artificial intelligence | Ramsay, Allan | Cambridge | 1st ed. (1988) |