Formal Approaches To Agent-Based Systems door James L. Rash & W. Truszkowski