Diaconescu, R. et al. 2012. CafeOBJ: Logical Foundations and Methodologies. COMPUTING AND INFORMATICS. 22, 3-4 (Feb. 2012), 257–283.