Andrade, D., & 		Gualandi, H.
2024 Sep 30.  Converting Combinatory Logic to and from Concatenative Calculus. Proceedings of the Brazilian Symposium on Programming Languages (SBLP). [Online] :