DŨNG, Trần Văn. On the algebraic sematics of combinational programs. <b>Journal of Computer Science and Cybernetics</b>, <i>[S. l.]</i>, v. 25, n. 4, p. 301–313, 2012. DOI: 10.15625/1813-9663/25/4/581. Disponível em: https://jcc.vast.vn/jcc/article/view/581. Acesso em: 5 nov. 2025.