Amaro, M., 		Feitosa, S., & 		Ribeiro, R.
(2022).
 A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching.
In <em>Anais do XXV Simpósio Brasileiro de Métodos Formais</em>, (pp. 39-54). Porto Alegre: SBC.