Distributed Smith RDavis R 1978
Specifying norm-governed computational societies
An executable specification of an argumentation protocol