@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.}
}