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