Amaro, M., 		Feitosa, S., & 		Ribeiro, R.
2022 Dec  6.  A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :