@Book{caferep,
author = {R\u{a}zvan Diaconescu and Kokichi Futatsugi},
title = {\textsf{CafeOBJ} Report: The Language, Proof Techniques,
and Methodologies for Object-Oriented Algebraic Specification},
publisher = {World Scientific},
year = {1998},
volume = {6},
series = {AMAST Series in Computing}
}