sur 21
Specification and Verification of Multi-agent Systems — Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer