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

}