Jan A. Bergstra Inge Bethke Alban Ponse Decision problems for pushdown threads. 75-90 2007 44 Acta Inf. 2 http://dx.doi.org/10.1007/s00236-007-0040-5 db/journals/acta/acta44.html#BergstraBP07