Correctness Property Proof for the Banking System for Money Transfer Payments - Yu. A. Ostapovska; T. V. Panchenko; N. V. Polishchuk; M. O. Kartavov (Problems in programming, 2016)