Code Search: A Survey of Techniques for Finding Code. - DI GRAZIA, LUCA; PRADEL, MICHAEL (ACM Computing Surveys, 2023)