Mokhati, F.; Badri, M.; Badri, L. A Formal Framework Supporting the Specification of the Interactions Between Agents . Informatica 30 (1).