@book{10234,
	author = {Hotori, Eiji||Wendschlag, Mikael||Giddey, Thibaud},
	title = {Formalization of Banking Supervision},
	url = {https://library.oapen.org/bitstream/20.500.12657/52432/1/978-981-16-6783-1.pdf}
}