@article{Gl_ck_2018,
    doi = {10.1016/j.entcs.2018.03.021},
    url = {https://doi.org/10.1016%2Fj.entcs.2018.03.021},
    year = {2018},
    month = {apr},
    publisher = {Elsevier {BV}},
    volume = {336},
    pages = {155--171},
    author = {Robert Glück and Robin Kaarsgaard},
    title = {A Categorical Foundation for Structured Reversible Flowchart Languages},
    journal = {Electronic Notes in Theoretical Computer Science}
}

@article{Gl_ck_2018, doi = {10.1016/j.entcs.2018.03.021}, url = {https://doi.org/10.1016%2Fj.entcs.2018.03.021}, year = {2018}, month = {apr}, publisher = {Elsevier {BV}}, volume = {336}, pages = {155--171}, author = {Robert Glück and Robin Kaarsgaard}, title = {A Categorical Foundation for Structured Reversible Flowchart Languages}, journal = {Electronic Notes in Theoretical Computer Science} }