Eitan M. Gurari Oscar H. Ibarra (Semi)Alternating Stack Automata. 211-224 1982 15 Mathematical Systems Theory 3 db/journals/mst/mst15.html#GurariI82