A methodology for machine language decompilationBarron C. HouselMaurice H. Halstead1974ACM Annual Conference 1974