The logic of bunched implications. (1999)

by P W O’Hearn, D J Pym
Venue:Bulletin of Symbolic Logic,