Dũng, T. V. (2012) “On the algebraic sematics of combinational programs”, Journal of Computer Science and Cybernetics, 25(4), pp. 301–313. doi: 10.15625/1813-9663/25/4/581.