computer science
John-Jules Ch M
Roel Wieringa E
1993. Deontic L
Compliance Checking of Organizational Interactions