Dũng, Trần Văn. 2012. “On the Algebraic Sematics of Combinational Programs”. Journal of Computer Science and Cybernetics 25 (4):301-13. https://doi.org/10.15625/1813-9663/25/4/581.