Norms, logics and information systems : new studies in deontic logic and computer science - McNamara, P. (Ios Press, 1999)