The Interpretation of Object-Oriented Programming Languages - Iain Craig