Text this: Deontic Logic in Computer Science