1. Lect Notes Comput Sci;H. Barringer,1989
2. H. TBarringer, R. Kuiper, and A. Pnueli. A really abstract concurrent model and its temporallogic. In Proceedings of the Thirteenth ACM Symposium on the Principles of ProgrammingLanguages, pages 173–183, 1986.
3. Bernhard Bauer, Jörg P. MÜller, and James Odell. Agent UML: A formalism for specifyingmultiagent software systems. In P. Ciancarini and M. Wooldridge, editors, Agent-OrientedSoftware Engineering-Proceedings of the First International Workshop (AOSE-2000).Springer-Verlag: Berlin, Germany, 2000.
4. LNAI;M. Benerecetti,1999
5. A. H. Bond and L. Gasser, editors. Readings in Distributed Artificial Intelligence. MorganKaufmann Publishers: San Mateo, CA, 1988.