P. Abdulla, A. Bouajjani, J. Cederberg, F. Haziza, R. Ji, und A. Rezine. Beyond the Finite: New Challenges in Verification and Semistructured Data, Volume 08171 von Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)