Manzino, Cecilia, E 		Latorre, Gonzalo.
" A Haskell-Embedded DSL for Secure Information-Flow" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (4 dezembro 2023)