Email Record: Formal approaches to agent-based systems :