Publication

Object Models, Heaps, and Interpretations