R. Diaconescu, K. Futatsugi, and K. Ogata, “CafeOBJ: Logical Foundations and Methodologies”, Comput. Inform., vol. 22, no. 3-4, pp. 257–283, Feb. 2012.