Costa, Felipe, E 		Ventura, Daniel.
" Formal Development for a Node Replication Calculus with Abstract Machine Extraction for a Lazy Strategy" <em>Anais do Workshop Brasileiro de Lógica (WBL)</em> [Online], (20 julho 2025)