(1)Dũng, T. V. On the Algebraic Sematics of Combinational Programs. <i>J. Comput. Sci. Cybern.</i> <b>2012</b>, <i>25</i>, 301-313.