Naftaly H. Minsky
Victoria Ungureanu
ACM Transactions on Software Engineering and Methodology
Specifying norm-governed computational societies