1. C. Castelfranchi. Social power. In Y. Demazeau and J. P. Muller, editors, Decentralized Artificial Intelligence, pages 49–62. Elsevier North Holland, 1990.
2. C. Castelfranchi, M. Miceli, and A. Cesta. Dependence relations among autonomous agents. In E. Werner and Y. Demazeau, editors, Decentralized Artificial Intelligence, pages 215–231. Elsevier North Holland, 1992.
3. I. Craig. Formal Specification of Advanced AI Architectures. EUis Horwood, 1991.
4. M d'Inverno and J. Crowcroft. Design, specification and implementation of an interactive conferencing system. In Proceedings of IEEE Infocom, Miami, USA. Published IEEE, 1991.
5. M. D'Inverno and M. Priestley. Structuring a Z specification to provide a unifying framework for hypertext systems. In J. P. Bowen and M. G. Hinchey, editors, ZUM'95: 9th International Conference of Z Users, Lecture Notes in Computer Science, pages 83–102, Heidelberg, 1995. Springer-Verlag.