Incorporating Precise Garbage Collection in an Ada Compiler. - Francisco García-Rodríguez; Javier Miranda; José Fortes Gálvez (Ada-Europe, 2007)