"Formal Approaches to Agent-Based Systems, 3 conf., FAABS 2004" - читать интересную книгу автора (Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff)