OO And Active Formal Information System Specification. - Isidro Ramos; Oscar Pastor 001; Vicente Casado (DEXA, 1991)