DIACONESCU, Razvan; FUTATSUGI, Kokichi; OGATA, Kazuhiro. CafeOBJ: Logical Foundations and Methodologies. Computing and Informatics, [S. l.], v. 22, n. 3-4, p. 257–283, 2012. Disponível em: http://147.213.75.17/ojs/index.php/cai/article/view/457. Acesso em: 23 nov. 2024.