[1]
Diaconescu, R., Futatsugi, K. and Ogata, K. 2012. CafeOBJ: Logical Foundations and Methodologies. COMPUTING AND INFORMATICS. 22, 3-4 (Feb. 2012), 257–283.