{Operational Specification of a Commitment-Based Agent Communication Language}