Nielsen, M.; Rozenberg, G.; Thiagarajan, P. S. Elementary Transition Systems. DPB 1990, 19.