Book

Foundations and applications of multi-agent systems

by Mark D'Inverno, Luck, Michael, Michael Fisher