Dridi, Charaf, 		Pun, Violet, E 		Stolz, Volker.
" Resource Contracts for Active Objects" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (3 dezembro 2025)