Friedrich Otto: On Visibly Pushdown Trace Languages. SOFSEM 2015: 389-400