P. D. Mosses, “On the Action Semantics of Concurrent Programming Languages”, DPB, vol. 21, no. 424, Nov. 1992.