F. Costa and D. Ventura.
" Formal Development for a Node Replication Calculus with Abstract Machine Extraction for a Lazy Strategy", in <em>Anais do VI Workshop Brasileiro de Lógica</em>, Maceió/AL, 2025, pp. 16-23, doi: <a href="https://doi.org/10.5753/wbl.2025.8267">https://doi.org/10.5753/wbl.2025.8267</a>.