Dũng, T.V. 2012. On the algebraic sematics of combinational programs. Journal of Computer Science and Cybernetics. 25, 4 (Apr. 2012), 301–313. DOI:https://doi.org/10.15625/1813-9663/25/4/581.