Normative System Specification
computer science
Roel Wieringa E
John-Jules Ch M
Compliance Checking of Organizational Interactions