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