Elementos Básicos de los Lenguajes Declarativos
Especificación Implementación y Uso de Tipos Abstractos Estructurados
Gestión de las Inconsistencias de la Evolución e Interoperación de los Esquemas Conceptuales en el Marco Formal de OASIS
Ingeniería de Software un Libro Web