{Specifying Norm-Governed Computational Societies}