"Formal Models of Agents: ESPRIT Project ModelAge Final Report Selected Papers " - читать интересную книгу автора (John-Jules C. Meyer, Pierre-Yves Schobbens)