Synchronization of concurrent processes, in "Formal Language Theory (1980)

by M NIVAT