Lastovetsky, A., and S. Gaissaryan,  "An algebraic approach to semantics of programming languages",  Theoretical Computer Science, vol. 135, issue 2: Elsevier, pp. 267-288, 1994.