Interactive source-level debugging of optimized programs - Zellweger, Polle T. (Xerox, 1984)