שליחה במסרון: Deontic logic in computer science