Dridi, Charaf, Violet Ka I Pun, and Volker Stolz.
" Resource Contracts for Active Objects." <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais,
Recife/PE, 2025</em>. SBC, 2025,  
pp.156-175.