It seems to be an intuitive way to explain it, which is probably why it found its way into the specs for some early languages.

The problem is that it gets very complicated real fast once you start dealing with non-trivial expressions as arguments, shadowed identifiers, and recursion.