@Article{cafefun,

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

title = {Logical Foundations of \textsf{CafeOBJ}},

journal = {Theoretical Computer Science},

year = 2002,

volume = 285,

pages = {289--318}

}