Fabiola López y López
Michael Luck
Mark d’ Inverno
Computational & Mathematical Organization Theory
Compliance Checking of Organizational Interactions