Protocol choice and iteration for the free cornering - Nester, Chad; Voorneveld, Niels (Journal of logical and algebraic methods in programming, 2024)