Nielsen, M., Rozenberg, G. and Thiagarajan, P. S. (1990) “Elementary transition systems”, DAIMI Report Series, 19(310). doi: 10.7146/dpb.v19i310.6701.