The 1 reference without contexts in paper A. Sidorin V., T. Romanova N., А. Сидорин В., Т. Романова Н. (2016) “Новая модификация метода анализа кодов программ на основе резюме для тестирования сложных программных комплексов // A new modification of summary-based analysis method for large software system testing” / spz:neicon:technomag:y:2015:i:8:p:281-300

15
Reps Th., Horwitz S., Sagiv M. Precise interprocedural dataflow analysis via graph reachability.Proc. of the 22ndACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, CA, USA, 1995. ACM New York, NY, USA, 1995, pp. 49{61. DOI:10.1145/199448.199462
(check this in PDF content)