Engineering Multi-Agent Systems - Cristina Baroglio, Jomi F. Hubner, Michael Winikoff (Springer, 2020)