Separation and Information Hiding
Peter W. O’Hearn‚ Hongseok Yang and John Reynolds
Journal
ACM Transactions on Programming Languages and Systems
Month
February
Number
3
Publisher
ACM
Volume
31
Year
2009
Peter W. O’Hearn‚ Hongseok Yang and John Reynolds