@article{Ahman_2014,
    doi = {10.1016/j.entcs.2014.10.003},
    url = {https://doi.org/10.1016%2Fj.entcs.2014.10.003},
    year = {2014},
    month = {oct},
    publisher = {Elsevier {BV}},
    volume = {308},
    pages = {25--48},
    author = {Danel Ahman and Tarmo Uustalu},
    title = {Coalgebraic Update Lenses},
    journal = {Electronic Notes in Theoretical Computer Science}
}

@article{Ahman_2014, doi = {10.1016/j.entcs.2014.10.003}, url = {https://doi.org/10.1016%2Fj.entcs.2014.10.003}, year = {2014}, month = {oct}, publisher = {Elsevier {BV}}, volume = {308}, pages = {25--48}, author = {Danel Ahman and Tarmo Uustalu}, title = {Coalgebraic Update Lenses}, journal = {Electronic Notes in Theoretical Computer Science} }