Andrade, Daniel, E Gualandi, Hugo. " Converting Combinatory Logic to and from Concatenative Calculus" Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP) [Online], (30 setembro 2024)