The interpretation of object-oriented programming languages - Craig, Iain (Springer, 2002)