Srba, Jirí. “Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation”. BRICS Report Series 13, no. 13 (July 12, 2006). Accessed January 20, 2026. https://tidsskrift.dk/brics/article/view/21918.