@article{COLLINSON_2009,
    doi = {10.1017/s0960129509990077},
    url = {https://doi.org/10.1017%2Fs0960129509990077},
    year = {2009},
    month = {sep},
    publisher = {Cambridge University Press ({CUP})},
    volume = {19},
    number = {5},
    pages = {959--1027},
    author = {MATTHEW COLLINSON and DAVID PYM},
    title = {Algebra and logic for resource-based systems modelling},
    journal = {Mathematical Structures in Computer Science}
}

@article{COLLINSON_2009, doi = {10.1017/s0960129509990077}, url = {https://doi.org/10.1017%2Fs0960129509990077}, year = {2009}, month = {sep}, publisher = {Cambridge University Press ({CUP})}, volume = {19}, number = {5}, pages = {959--1027}, author = {MATTHEW COLLINSON and DAVID PYM}, title = {Algebra and logic for resource-based systems modelling}, journal = {Mathematical Structures in Computer Science} }