Closed-Form Upper Bounds in Static Cost Analysis | Publicación