[1]T. V. Dũng, “On the algebraic sematics of combinational programs”, <i>J. Comput. Sci. Cybern.</i>, vol. 25, no. 4, pp. 301–313, Apr. 2012.