Amaro, M., 		Feitosa, S., & 		Ribeiro, R.
2022 dez  6.  A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :