@article{Mackie_2008,
    doi = {10.1016/j.entcs.2008.10.027},
    url = {https://doi.org/10.1016%2Fj.entcs.2008.10.027},
    year = {2008},
    month = {nov},
    publisher = {Elsevier {BV}},
    volume = {192},
    number = {3},
    pages = {59--70},
    author = {Ian Mackie and Shinya Sato},
    title = {A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine},
    journal = {Electronic Notes in Theoretical Computer Science}
}

@article{Mackie_2008, doi = {10.1016/j.entcs.2008.10.027}, url = {https://doi.org/10.1016%2Fj.entcs.2008.10.027}, year = {2008}, month = {nov}, publisher = {Elsevier {BV}}, volume = {192}, number = {3}, pages = {59--70}, author = {Ian Mackie and Shinya Sato}, title = {A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine}, journal = {Electronic Notes in Theoretical Computer Science} }