Andrade, Daniel, and Hugo Musso Gualandi.
" Converting Combinatory Logic to and from Concatenative Calculus." <em>Anais do XXVIII Simpósio Brasileiro de Linguagens de Programação,
Curitiba/PR, 2024</em>. SBC, 2024,  
pp.17-25.