Carl Hewitt
Artificial Intelligence
Specifying norm-governed computational societies
An executable specification of an argumentation protocol