books.google.ie - This is a report on the formal definition of the CafeOBJ algebraic specification language, which is a modern successor to the famous algebraic language OBJ. While the equational core of CafeOBJ is just a reshaping of OBJ, CafeOBJ significantly extends OBJ by incorporating several recent major developments...http://books.google.ie/books/about/Cafe_Obj_Report.html?id=Q0H-n4Wz2ssC&utm_source=gb-gplus-shareCafe Obj Report
