Reescritura de términos en lenguajes de especificación