Agent Technology from a Formal Perspective - Rouff, Christopher A.; Hinchey, Michael; Rash, James; Truszkowski, Walter; Gordon-Spears, Diana (Springer London, 2006)