Agent-Oriented Software Engineering - Shehory, Onn; Sturm, Arnon (Springer Berlin Heidelberg, 2014)