Moshe Tennenholtz
David Fitoussi
Artificial Intelligence
Specifying norm-governed computational societies