Manzino, C., & 		Latorre, G.
(2023).
 A Haskell-Embedded DSL for Secure Information-Flow.
<em>Anais Do SimpóSio Brasileiro De MéTodos Formais (SBMF), </em>, 20-35.
Recuperado de <a href="https://sol.sbc.org.br/index.php/sbmf/article/view/28034" target="_new">https://sol.sbc.org.br/index.php/sbmf/article/view/28034</a>