Programación Declarativa y Transformación Automática de programas

PROGRAMACION DECLARATIVA Y TRANSFORMACIÓN AUTOMÁTICA DE PROGRAMAS: DEC-TAU