Mosses, P. D. “On the Action Semantics of Concurrent Programming Languages”. DAIMI Report Series, vol. 21, no. 424, Nov. 1992, doi:10.7146/dpb.v21i424.6738.