Aniello Cimitile Ugo de Carlini Reverse Engineering: Algorithms for Program Graph Production. 519-537 1991 21 Softw., Pract. Exper. 5 db/journals/spe/spe21.html#CimitileC91 http://dx.doi.org/10.1002/spe.4380210507