Title: A natural deduction treatment of operational semantics