Mogens Nielsen Grzegorz Rozenberg P. S. Thiagarajan Elementary Transition Systems. 3-33 1992 96 Theor. Comput. Sci. 1 db/journals/tcs/tcs96.html#NielsenRT92