FORMAL SPECIFICATION AND IMPLEMENTATION OF COMPUTATIONAL AGGREGATION FUNCTIONS | Publicación