Costa, F., & 		Ventura, D.
2025 jul 20.  Formal Development for a Node Replication Calculus with Abstract Machine Extraction for a Lazy Strategy. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :