"Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers " - читать интересную книгу автора (James L. Rash, Christopher A. Rouff, Walter Truszkowski, Diana Gordon, Michael...)