Text this: Deontic logic in computer science