Diaconescu, R., Futatsugi, K., & Ogata, K. (2012). CafeOBJ: Logical Foundations and Methodologies. COMPUTING AND INFORMATICS, 22(3-4), 257–283. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/457