1. M. Zakharyaschev, A. Kurucz, F. Wolter and D. M. Gabbay. Many-Dimensional Modal Logics: Theory and Applications. Studies in Logic and the Foundations of Mathematics. Elsevier Science, 2003.
2. Akman V. Surav M. Steps toward formalizing context. AI Magazine 1996;17:55-72.
3. CASL: the Common Algebraic Specification Language
4. Attardi G. Simi M. Proofs in context. In: Doyle J. Sandewall E. Torasso P. , editors. Principles of Knowledge Representation and Reasoning. Morgan Kaufmann; 1994. p. 15-26.
5. Blackburn P. van Benthem J. Wolter F. Preface. In: Blackburn P. de Rijke M. Venema Y. , editors. Modal Logic. Cambridge: Cambridge University Press; 2002. Cambridge Tracts in Theore tical Computer Science.