Deontic Logic In Computer Science door A. Lomuscio