Formal approaches to agent-based systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers - Hinchey, Michael G. (Michael Gerard), 1969- (Springer, 2005)