J.W. de Bakker

Foundations of Object-Oriented Languages