@mastersthesis{biering_bunched_2004,
 title = {On the {Logic} of {Bunched} {Implications} - and its relation to separation logic},
 author = {Biering, Bodil},
 year = {2004},
 month = {June},
 school = {University of Copenhagen},
 url = {https://ncatlab.org/nlab/files/Biering-BunchedLogic.pdf},
 note = {Cand.Scient. thesis. Appendix A criticises Pym's predicate BI; A.2.1 gives the substitution obstruction and Prop. 4.2.13 shows Day's tensor preserves neither monos nor pullbacks.}
}