Dũng, Trần Văn. “On the Algebraic Sematics of Combinational Programs”. <i>Journal of Computer Science and Cybernetics</i> 25, no. 4 (April 28, 2012): 301–313. Accessed April 4, 2026. https://vjst.vast.vn/jcc/article/view/581.