Dissertação de Mestrado defendida por Adriel Café no CIn-UFPE em 04/09/15 - View it on GitHub