Nielsen, Mogens, et al. “Elementary Transition Systems and Refinement”. DAIMI Report Series, vol. 20, no. 346, Mar. 1991, doi:10.7146/dpb.v20i346.6576.