ACM - Normas
Marek Sergot
ACM Transactions on Computational Logic
Specifying norm-governed computational societies