A Robust Foundation for Binary Translation of X86 Code - Liangchuan Hsu (1997)