Weakest Preconditions in Fibrations | Publicación