Dridi, C., 		Pun, V., & 		Stolz, V.
(2025).
 Resource Contracts for Active Objects.
In <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, (pp. 156-175). Porto Alegre: SBC.