Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers - Hinchey, Michael G.; Rash, James L.; Truszkowski, Walter F.; Rouff, Christopher A. (Springer Berlin Heidelberg, 2005)