A formal specification of multicriteria economics | Publicación