Abadi and Cardelli (1996)
Abadi M. and Cardelli L. (1996)
A Theory of Objects
Springer-Verlag