Nielsen, M., G. Rozenberg, and P. S. Thiagarajan. “Elementary Transition Systems and Refinement”. DAIMI Report Series, vol. 20, no. 346, Mar. 1991, doi:10.7146/dpb.v20i346.6576.