Franco Gasperoni Patrick Bazire Smart Recompilation and the GNAT Compiler. 104-111 1994 TRI-Ada http://doi.acm.org/10.1145/197694.197712 db/conf/sigada/triada94.html#GasperoniB94