John R Searle
Ecological modelling of information systems
Specifying norm-governed computational societies