Automated synthesis of normative systems | Publicación