Trabalho apresentado como dissertação de Mestrado em Ciências da Computação à Universidade Estadual de Campinas.