M. Musicante and P. D. Mosses, “Communicative Action Notation with Shared Storage”, DPB, vol. 22, no. 452, Aug. 1993.