Manzino, C., & 		Latorre, G.
(2023).
 A Haskell-Embedded DSL for Secure Information-Flow.
In <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais</em>, (pp. 20-35). Porto Alegre: SBC.