Normative System Specification
computer science
1993. Deontic L
Roel Wieringa E
Compliance Checking of Organizational Interactions