M. Nielsen, G. Rozenberg, and P. S. Thiagarajan, “Elementary Transition Systems and Refinement”, DPB, vol. 20, no. 346, Mar. 1991.