@InProceedings{fm99,

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

title = {Component-based Algebraic Specification and Verification

in \textsf{CafeOBJ}},

booktitle = {FM'99 -- Formal Methods},

pages = {1644--1663},

year = 1999,

editor = {Jeannette M. Wing and Jim Woodcock and Jim Davies},

volume = 1709,

series = {Lecture Notes in Computer Science},

publisher = {Springer}

}