@article{Nester2024,
title = {Protocol choice and iteration for the free cornering},
journal = {Journal of Logical and Algebraic Methods in Programming},
volume = {137},
pages = {100942},
year = {2024},
issn = {2352-2208},
doi = {https://doi.org/10.1016/j.jlamp.2023.100942},
url = {https://www.sciencedirect.com/science/article/pii/S2352220823000962},
author = {Chad Nester and Niels Voorneveld},
}