Kioumars Namiri, N. Stojanović 30 2007. A Formal Approach for Internal Controls Compliance in Business Processes Preuzmi PDF Computer Science + 1