Zhengzhao Chen, Renhe Jiang, Zejun Zhang, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li: Enhancing example-based code search with functional semantics. J. Syst. Softw. 165: 110568 (2020)