operational semantics theory 281100