Authors: RUIZDELGADO A PITT D SMYTHE C

Citation: A. Ruizdelgado et al., A REVIEW OF OBJECT-ORIENTED APPROACHES IN FORMAL METHODS, Computer journal, 38(10), 1995, pp. 777-784