K.-G. Doh and P. D. Mosses, “Composing Programming Languages by Combining Action-Semantics Modules”, BRICS, vol. 10, no. 53, Dec. 2003.