Dridi, C., 		Pun, V., & 		Stolz, V.
2025 dez  3.  Resource Contracts for Active Objects. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :