DataFAN: A Practical Approach to Data Flow Analysis for Ada 95. - Krzysztof Czarnecki 001; Michael Himsolt; Ernst Richter; Falk Vieweg; Alfred Rosskopf (Ada-Europe, 2002)