Normative System Specification
1993. Deontic L
Roel Wieringa E
John-Jules Ch M
Compliance Checking of Organizational Interactions