The interpretation of onject -oriented programming languages - Craig, Iain (Springer, 2000)