José Carmo Olga Pacheco Deontic and Action Logics for Organized Collective Agency, Modeled through Institutionalized Agents and Roles. 129-163 2001 48 Fundam. Inform. 2-3 db/journals/fuin/fuin48.html#CarmoP01