Correctness Property Proof for the Banking System for Money Transfer Payments. - Yulia Ostapovska; Taras Panchenko; Nataliya Polishchuk; Mykita Kartavov (UkrPROG, 2016)