Deontic Logic In Computer Science by A. Lomuscio