D. Andrade and H. Gualandi.
" Converting Combinatory Logic to and from Concatenative Calculus", in <em>Anais do XXVIII Simpósio Brasileiro de Linguagens de Programação</em>, Curitiba/PR, 2024, pp. 17-25, doi: <a href="https://doi.org/10.5753/sblp.2024.3460">https://doi.org/10.5753/sblp.2024.3460</a>.