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