@article{PARROW_2013,
    doi = {10.1017/s0960129513000170},
    url = {https://doi.org/10.1017%2Fs0960129513000170},
    year = {2013},
    month = {jun},
    publisher = {Cambridge University Press ({CUP})},
    volume = {24},
    number = {2},
    author = {JOACHIM PARROW and JOHANNES BORGSTRÖM and PALLE RAABJERG and JOHANNES {\AA}MAN POHJOLA},
    title = {Higher-order psi-calculi},
    journal = {Mathematical Structures in Computer Science}
}

@article{PARROW_2013, doi = {10.1017/s0960129513000170}, url = {https://doi.org/10.1017%2Fs0960129513000170}, year = {2013}, month = {jun}, publisher = {Cambridge University Press ({CUP})}, volume = {24}, number = {2}, author = {JOACHIM PARROW and JOHANNES BORGSTRÖM and PALLE RAABJERG and JOHANNES {\AA}MAN POHJOLA}, title = {Higher-order psi-calculi}, journal = {Mathematical Structures in Computer Science} }