1. AgentBuilder RM (2000). An integrated toolkit for constructing intelligent software agents. Reference Manual
2. Bakam I, Kordon F, Le Page C, Bousquet F (2000) Formalization of a spatialized multiagent model using coloured Petri nets for the study of a hunting management system. In: FAABS2000, Greenbelt
3. Boudiaf N, Mokhati F, Badri M, Badri L (2005) Specifying DIMA multi-agent models using Maude. Springer-Verlag, Berlin, Heideberg LNAI 3371:29–42
4. Clavel M et al. (2005) Maude manual (Version 2.2). Internal report, SRI International
5. DeLoach SA, Wood M (2001) Developing multiagent systems with agent tool. In: ATAL’2000, Berlin