Describir: Formal Analysis of Segregation of Duties (SoD) in Accounting: A Computational Approach.