Foundations and applications of multi-agent systems by Michael Fisher, Mark D'Inverno, Luck, Michael | Lex | Lex