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