Dũng, Trần Văn. “On the Algebraic Sematics of Combinational Programs”. Journal of Computer Science and Cybernetics 25, no. 4 (April 28, 2012): 301–313. Accessed November 23, 2024. https://vjs.ac.vn/index.php/jcc/article/view/581.