Arnaud Carayol Regular Sets of Higher-Order Pushdown Stacks. 168-179 2005 conf/mfcs/2005 MFCS http://dx.doi.org/10.1007/11549345_16 db/conf/mfcs/mfcs2005.html#Carayol05