Goller, et al.. On the Computational Complexity of Verifying One-counter Processes. IEEE, 2009, doi:10.1109/lics.2009.37.