Nielsen, M., G. Rozenberg, and P. S. Thiagarajan. “Elementary Transition Systems”. DAIMI Report Series, vol. 19, no. 310, Apr. 1990, doi:10.7146/dpb.v19i310.6701.