Reps, et al.. There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code. Springer Berlin Heidelberg, 2010, doi:10.1007/978-3-642-14295-6_6.