Matti Linna Martti Penttonen New Proofs for Jump DPDA's. 354-362 1979 conf/mfcs/1979 MFCS db/conf/mfcs/mfcs79.html#LinnaP79 http://dx.doi.org/10.1007/3-540-09526-8_33