A Mathematical Approach to the Analysis and Design of Internal Control Systems. · Study