Hoare-style reasoning with (algebraic) continuations | Publicación