Normative System Specification
computer science
1993. Deontic L
John-Jules Ch M
Compliance Checking of Organizational Interactions