E. Alfonseca, K. Filippova, J. Delort, und G. Garrido. Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics: Short Papers - Volume 2, Seite 54--59. Stroudsburg, PA, USA, Association for Computational Linguistics, (2012)
A. Dittmar. Interactive Systems Design, Specification, and Verification, Volume 1946 von Lecture Notes in Computer Science, Kapitel 10, Springer-Verlag, Berlin/Heidelberg, (11.05.2001)