Mosses, P. D. “The Operational Semantics of Action Notation”. DAIMI Report Series, vol. 21, no. 418, Sept. 1992, doi:10.7146/dpb.v21i418.6731.