M. Nielsen, G. Rozenberg, and P. S. Thiagarajan, “Elementary transition systems”, DPB, vol. 19, no. 310, Apr. 1990.