Swarm Robotics: A Formal Approach - Hamann (Pearson New Delhi, 2017)