Diaconescu, R.; Futatsugi, K.; Ogata, K. CafeOBJ: Logical Foundations and Methodologies. Comput. Inform. 2012, 22, 257-283.