John C. Mitchell

Kathleen Fisher, Furio Honsell, and John C. Mitchell. A lambda calculus of objects and method specialization. Nordic Journal of Computing, 1(1):3-37, Spring 1994. Abstract, References, Citations, etc.