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