Tom Lake Tim Blanchard Reverse Engineering of Assembler Programs: A Model-Based Approach and its Logical Basis. 67-75 1996 WCRE http://computer.org/proceedings/wcre/7674/76740067abs.htm db/conf/wcre/wcre1996.html#LakeB96