A unified approach to the debugging of optimised programs. - William Shu Shu (1988)