Manzino, C., & 		Latorre, G.
2023 dez  4.  A Haskell-Embedded DSL for Secure Information-Flow. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :