Weakest preconditions in fibrations | Publicación