Separation and information hiding (2009)

by P W O’Hearn, H Yang, J C Reynolds
Venue:ACM Trans. Program. Lang. Syst