@Article{ dv89, author = "Volker Diekert and Walter Vogler", journal = "Mathematical Systems Theory", pages = "161--175", title = "On the synchronization of traces", volume = "22", year = "1989", doi = "10.1007/BF02088296" }