Data Abstraction and Information Hiding (0)

by M Leino K Rustan, G Nelson
Venue:ACM ransactions on Programming Languages and Systems