The Verification of Compiled Code. - T. Jennings; P. Taylor (SAFECOMP, 1995)