On multi-agent systems specification via Deontic Logic - Lomuscio,A; Sergot,M (Springer-Verlag, 2002)