Abadi and Cardelli (1996)

Abadi M. and Cardelli L. (1996)

A Theory of Objects

Springer-Verlag