An implementation of effective homotopy of fibrations | Publicación