Text this: Formal approaches to agent-based systems