Where can I find an elementary small-step structural operational semantics for closures? Lexical closures are an implementation technique in languages with first-class functions.

I'm interested in a simple operational description of function closures. Does anyone know of such a description?
Is chapter 29 of Bob Harper's book what you are looking for?