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