Uma linguagem computacional para a reescrita de expressões matemáticas por via axiomática - Jaime Remédios (2007)