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