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