Declarative Programming and Automatic Program Transformation

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