Correções do capítulo de Formalização

Conforme solicitado pelo prof. Américo na reunião do dia 25/06/2014