Noura Boudiaf Farid Mokhati Mourad Badri Linda Badri Specifying DIMA Multi-agents Models Using Maude. 29-42 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3371&spage=29 2004 conf/prima/2004 PRIMA db/conf/prima/prima2004.html#BoudiafMBB04