Erweiterte Compilierung von C, C++: verbesserte Code-Optimierung durch Verwendung semantischer Zusatzinformationen. - Mark Steffen Dettinger (2000)