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