Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford. Formal Modelling of Cognitive Interpretation. In Gavin J. Doherty, Ann Blandford, editors, Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers. Volume 4323 of Lecture Notes in Computer Science, pages 123-136, Springer, 2006.
Abstract is missing.