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.