A theory of objects - Abadi, Martín; Cardelli, Luca. (New York : Springer, 1996)
Includes bibliographical references (pages [383]-390) and index.
CSE
STS International
Keywords: Object-oriented programming (Computer science); Computer science