Introdução à Programação Prolog
Introduction to the Objective Caml Programming Language [Hickey Sep 2004]
A Matemática Do Desenho de Algoritmos