Data abstraction and information hiding (2002)

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