Kai Salomaa Sheng Yu 0001 Synchronization Expressions and Languages. 610-621 1999 5 J. Univers. Comput. Sci. 9 db/journals/jucs/jucs5.html#SalomaaY99 https://doi.org/10.3217/jucs-005-09-0610