Liam Jordon, Philippe Moser: On the Difference Between Finite-State and Pushdown Depth. SOFSEM 2020: 187-198