1. M. Benerecetti, A. Cimatti, E. Giunchiglia, F. Giunchiglia, and L. Serafini. Formal specification of beliefs in multi-agent systems. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III, pages 117–130. Springer Verlag, Berlin, 1997.
2. G. Booch. Object-oriented analysis and design with application. Addison Wesley, Wokingham, UK, 1994.
3. F. M. T. Brazier, B. M. Dunin-Keplicz, N. R. Jennings, and J. Treur. Formal specification of multi-agent systems. In Proceedings of the 1st International Conference on Multi-Agent Systems, pages 25–32, 1995.
4. P. Busetta, N. Howden, R. Ronnquist, and A. Hodgson. Structuring BDI agents in functional clusters. In N. R. Jennings and Y Lespérance, editors, Intelligent Agents VI. Springer Verlag, Berlin, 1999.
5. A. Cimatti and L. Serafini. Multi-agent reasoning with belief contexts: The approach and a case study. In Proceedings of the 3rd International Workshop on Agent Theories, Architectures and Languages, 1994.