Benedek Nagy, Friedrich Otto: An Automata-Theoretical Characterization of Context-Free Trace Languages. SOFSEM 2011: 406-417