Chang, et al.. Analysis of Low-level Code Using Cooperating Decompilers. Springer Berlin Heidelberg, 2006, doi:10.1007/11823230_21.