Laila Elbeheiry, Michael Sammler, Robbert Krebbers, Derek Dreyer, Deepak Garg: A Recipe for Modular Verification of Generic Tree Traversals. CPP 2026: 339-352