Shin Nakajima Kokichi Futatsugi An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. 34-44 1997 ICSE http://doi.acm.org/10.1145/253228.253238 db/conf/icse/icse97.html#NakajimaF97