Duc-Than Nguyen, Lennart Beringer, William Mansky, Shengyi Wang: Compositional Verification of Concurrent C Programs with Search Structure Templates. CPP 2024: 60-74