Uma versão, quase final, da minha dissertação foi disponibilizada em http://www.comp.ime.eb.br/dissertacoes.htm. Comentários sobre ela são bem vindos.