T. V. Dũng, “On the algebraic sematics of combinational programs”, JCC, vol. 25, no. 4, pp. 301–313, Apr. 2012.