Formal Methods in FCA and Big Data | Publicación