One-way stack automata Extended abstract | IEEE Conference Publication | IEEE Xplore