Agent Technology from a Formal Perspective - Rouff, Christopher A. (Springer London, 2006)