A theory of indirection via approximation
Aquinas Hobor, Robert Dockins, Andrew W. Appel · 2010
Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as heap pointers, higher-order functions, object references, and shared-memory mutexes.