Martin Hardwick
Richard Bolton
Communications of the ACM
Specifying norm-governed computational societies