"Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence)" - читать интересную книгу автора (Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff)