Jonas Kaiser, Steven Schäfer, Kathrin Stark: Binder aware recursion over well-scoped de Bruijn syntax. CPP 2018: 293-306