"Lambda the Ultimate Imperative" is one of a series of "LambdaTheUltimate" papers written in the 1970s and early 1980s by GuySteele and GeraldSussman.
These papers came out of the development of the SchemeLanguage and became the foundation of many techniques of modern compilers for all kinds of languages.
See http://library.readscheme.org/page1.html