Separation and Information Hiding. - O'Hearn, Peter W.; Yang, Hongseok; Reynolds, John C. (ACM Transactions on Programming Languages & Systems, 2009)