Kanazawa, M. 2013. Monadic Quantifiers Recognized by Deterministic Pushdown Automata. Proceedings of the Amsterdam Colloquium. (Dec. 2013), 139–146.