Diaconescu, R., Futatsugi, K. and Ogata, K. (2012) “CafeOBJ: Logical Foundations and Methodologies”, COMPUTING AND INFORMATICS, 22(3-4), pp. 257–283. Available at: https://www.cai.sk/ojs/index.php/cai/article/view/457 (Accessed: 1 February 2023).