Yitzhak, O. B.; Tennenholtz, M. On the Automatic Synthesis of Social Laws for Mobile Robots. A Study in Artificial Social Systems. Part 2: Analysis and Discussion. Comput. Inform. 2012, 16, 445-463.