"Smart Recompilation and the GNAT Compiler."

Franco Gasperoni, Patrick Bazire (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics