GRALPLA: Traductor de especificación algebraicas Report interno