Profitability computations on program flow graphs
scientific article; zbMATH DE number 3573245