Fundamentos da Computação, Livro I: Computação e Linguagem. José Manuel Valença e José Bernardo Barros. Universidade Aberta, 2000.
Fundamentos da Computação, Livro II: Programação Funcional. José Manuel Valença e José Bernardo Barros. Universidade Aberta, 2000.