Cristina Cifuentes Doug Simon Procedure Abstraction Recovery from Binary Code. 55-64 2000 CSMR http://www.computer.org/proceedings/csmr/0546/05460055abs.htm db/conf/csmr/csmr2000.html#CifuentesS00