https://bookem.ir/books/2151869-Optimal-Interprocedural-Program-Optimization