Ribeiro, C., 		Silvestre, B., & 		Ventura, D.
2024 Jul 21.  Type Systems for Concurrent Programming: A Case Study. Proceedings of the Brazilian Workshop of Logic (WBL). [Online] :