Dũng, T. V. On the Algebraic Sematics of Combinational Programs. JCC 2012, 25, 301-313.