Kanazawa, M. Monadic Quantifiers Recognized by Deterministic Pushdown Automata. Proceedings of the AC 2013, 139-146.