On the analysis and synthesis of free choice systems | Publicación