Separation and Information Hiding
Peter W. O'Hearn‚ Hongseok Yang and John C. Reynolds
Address
Venice
Book Title
Proceedings of the 31st ACM Symposium on Principles of Programming Languages
ISBN
1−58113−729−X
Month
January
Pages
268–280
Publisher
ACM
Year
2004