Diaconescu, R., Futatsugi, K. and Ogata, K. (2012) “CafeOBJ: Logical Foundations and Methodologies”, Computing and Informatics, 22(3-4), pp. 257–283. Available at: http://147.213.75.17/ojs/index.php/cai/article/view/457 (Accessed: 8 November 2024).