Isidro Ramos Oscar Pastor Vicente Casado OO And Active Formal Information System Specification. 1-6 1991 DEXA db/conf/dexa/dexa91.html#RamosPC91