C. Dridi, V. Pun, and V. Stolz.
" Resource Contracts for Active Objects", in <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, Recife/PE, 2025, pp. 156-175.