Visualizing Normative Systems: An Abstract ApproachDeontic Logic in Computer Science