F. Mokhati, M. Badri, and L. Badri, “A Formal Framework Supporting the Specification of the Interactions between Agents ”, IJCAI, vol. 30, no. 1.