Data abstraction and information hiding (0)

by K Rustan, M Leino, G Nelson
Venue:ACM Trans. Program. Lang. Syst