Behavioral coherence in object-oriented algebraic specification (1998)

by Razvan Diaconescu