Debugging optimized code with expected behavior (1990)

by L W ANDJOHNSON ZURAWSKI, R E