THÀNH, H. C. Algorithms for finding the normal form of traces and synchronous traces. Journal of Computer Science and Cybernetics, [S. l.], v. 17, n. 1, p. 72–77, 2012. DOI: 10.15625/1813-9663/17/1/2432. Disponível em: https://vjs.ac.vn/index.php/jcc/article/view/2432. Acesso em: 27 apr. 2024.