Towards a Semantic Theory of Dynamic Binding. AIM-265

purl.stanford.edu/th513tm1993