Замула, А. А. System Analysis and Formalization of Commercial Bank Activity. EEJET 2012, 6, 18-21.