Formal approaches to agent-based systems by Michael G. Hinchey | Menrva Books | MenrvaBooks