Possible Worlds and Resources: The Semantics of BI
David Pym‚ Peter W. O'Hearn and Hongseok Yang
Journal
Theoretical Computer Science
Month
May
Number
1
Pages
257–305
Publisher
Elsevier
Volume
315
Year
2004
David Pym‚ Peter W. O'Hearn and Hongseok Yang