Structure and Interpretation of Computer Programs

Lexical scope is derived from the idea of environment model of evaluation, where symbols are replaced with values from the most immediate environment frame with a binding for the symbol.