@Article{coh,

author = {R\u{a}zvan Diaconescu and Kokichi Futatsugi},

title = {Behavioural Coherence in Object-Oriented Algebraic

Specification},

journal = {Universal Computer Science},

year = 2000,

volume = 6,

number = 1,

pages = {74--96},

note = {First version appeared as JAIST Technical Report IS-RR-98-0017F, June 1998.}

}