Symbolic Interpretation of Legacy Assembly Language. - Jacques Carette; Pulak Kumar Chowdhury (WCRE, 2005)