Abu Naser Masud Björn Lisper On the computation of interprocedural weak control closure. 65-76 2022 CC https://doi.org/10.1145/3497776.3517782 https://www.wikidata.org/entity/Q130887195 conf/cc/2022 db/conf/cc/cc2022.html#MasudL22