Soares, L., 		Alvim, M., 		Bu, D., 		Fernandes, N., & 		Liao, Y.
(2024).
 Formal Privacy Analyses for Open Banking.
In <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, (pp. 171-193). Porto Alegre: SBC.