@article{Anderson_2016,
    doi = {10.1016/j.tcs.2015.11.035},
    url = {https://doi.org/10.1016%2Fj.tcs.2015.11.035},
    year = {2016},
    month = {feb},
    publisher = {Elsevier {BV}},
    volume = {614},
    pages = {63--96},
    author = {Gabrielle Anderson and David Pym},
    title = {A calculus and logic of bunched resources and processes},
    journal = {Theoretical Computer Science}
}

@article{Anderson_2016, doi = {10.1016/j.tcs.2015.11.035}, url = {https://doi.org/10.1016%2Fj.tcs.2015.11.035}, year = {2016}, month = {feb}, publisher = {Elsevier {BV}}, volume = {614}, pages = {63--96}, author = {Gabrielle Anderson and David Pym}, title = {A calculus and logic of bunched resources and processes}, journal = {Theoretical Computer Science} }