Possible worlds and resources: the semantics of BI (2004)

by D J Pym, P W O'Hearn, H Yang
Venue:Theoretical Computer Science