de Bakker et al. (1990)
de Bakker J.W., de Roever W.P. and Rozenberg G. (eds) (1990)
Foundations of Object-Oriented Languages
Springer LNCS 489