4[6]Shoham Y. Agent- Oriented Programming. Artificial Intelligence,1993. 51～92
5[7]Wooldridge M. This is MYWORLD: The Logic of an Agent Oriented DAI Testbed. In: M. J. Wooldridge, N. R. Jennings,eds. Intelligent Agents,ECAI-94 Workshop on Agent Theories,Architectures, and Languages, Proceedings. Berlin:Springer,1995. 160～178
6[8]Alonso E. How individuals negotiate societies. In:ICMAS98.1998. 18～25
7[9]Wooldridge M, Jennings N R. Formalizing the cooperative problem solving process. Readings in Agents, 1996.430～440
8[10]Dunin- Keplicz B, et al. Compositional Formal Specification of Multi-agent Systems [J]. Lecture Notes in AI,1994
