Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server | Publicación