Uma formalização da teoria de reescrita em linguagem de ordem superior Mais livros em: Monografias e TCC Download PDF