Costa, Felipe, and Daniel Ventura.
" Formal Development for a Node Replication Calculus with Abstract Machine Extraction for a Lazy Strategy." <em>Anais do VI Workshop Brasileiro de Lógica,
Maceió/AL, 2025</em>. SBC, 2025,  
pp.16-23.