Towards a semantic theory of dynamic binding

purl.stanford.edu/mz550xp3837