Behavioural coherence in object-oriented algebraic specification (2000)

by R Diaconescu, K Futatsugi
Venue:Journal of Universal Computer Science