C. Manzino and G. Latorre.
" A Haskell-Embedded DSL for Secure Information-Flow", in <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais</em>, Manaus/AM, 2023, pp. 20-35.