Specification and verification of multi-agent systems - Dastani, Mohammad Mehdi (Springer, 2010)
Název z titulní obrazovky