On the algebraic sematics of combinational programs - Dũng, Trần Văn (Journal of Computer Science and Cybernetics, 2012)
See full text.