Dridi, C., 		Pun, V., & 		Stolz, V.
2025 Dec  3.  Resource Contracts for Active Objects. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :