Roland Wismuller. Debugging of globally optimized programs using data flow analysis. In Proceedings of the ACM/SIGPLAN Conference on Programming Language Design and Implementation, pages 278-289. ACM, June 1994. Available via WWW from http://wwwbode.informatik.tu-muenchen.de/~wismuell/publications.html