@article{BonsangueHansenKurzRot:LMCS:2015,
    title = {Presenting Distributive Laws},
    volume = {Volume 11, Issue 3},
    issn = {1860-5974},
    url = {http://dx.doi.org/10.2168/lmcs-11(3:2)2015},
    doi = {10.2168/lmcs-11(3:2)2015},
    journal = {Logical Methods in Computer Science},
    publisher = {Centre pour la Communication Scientifique Directe (CCSD)},
    author = {Bonsangue, Marcello M. and Hansen, Helle Hvid and Kurz, Alexander and Rot, Jurriaan},
    year = {2015},
    month = {aug},
    date-added = {2025-12-4 11:58:20 +0100}
}

@article{BonsangueHansenKurzRot:LMCS:2015, title = {Presenting Distributive Laws}, volume = {Volume 11, Issue 3}, issn = {1860-5974}, url = {http://dx.doi.org/10.2168/lmcs-11(3:2)2015}, doi = {10.2168/lmcs-11(3:2)2015}, journal = {Logical Methods in Computer Science}, publisher = {Centre pour la Communication Scientifique Directe (CCSD)}, author = {Bonsangue, Marcello M. and Hansen, Helle Hvid and Kurz, Alexander and Rot, Jurriaan}, year = {2015}, month = {aug}, date-added = {2025-12-4 11:58:20 +0100} }