Dũng, T. V. “On the Algebraic Sematics of Combinational Programs”. Journal of Computer Science and Cybernetics, vol. 25, no. 4, Apr. 2012, pp. 301-13, doi:10.15625/1813-9663/25/4/581.