Formal approaches to agent-based systems First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers / - Rash, James L. (Springer,)