Verification of object-oriented systems: Domain-dependent and domain-independent approaches. - Nils A. Kandelin; Daniel E. O'Leary (J. Syst. Softw., 1995)