1. Bos, J.: DORIS 2001: Underspecification, Resolution and Inference for Discourse Representation Structures. In: Blackburn, Kohlhase (eds.) ICoS-3. Inference in Computational Semantics. Workshop Proceedings, Siena Italy, Inference in Computational Semantics. Workshop Proceedings, Italy (June 2001)
2. Lecture Notes in Computer Science;N.E. Fuchs,1999
3. Hall, A.: Seven Myths of Formal Methods. IEEE Software 48(1), 67–79 (1990)
4. Hobbs, J.R.: Discourse and Inference. Draft. USC Information Science Institute, Marina del Rey, California, November 3, (2003)
5. Huijsen, W.O.: Controlled Language – An Introduction. In: Proceedings of CLAW 1998, Pittsburgh, pp. 1–15 (1998)