Versions - Formalization of Banking Supervision