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