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