Formalization of Banking Supervision - Hotori (Springer Singapore, 2022)