Separation and information hiding. (2004)

by P W O’Hearn, H Yang, J C Reynolds
Venue:In POPL,