A formal framework to analyze cost and performance in Map-Reduce based applications | Publicación