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