https://filesoo.com/product/90413/transitions-and-trees-an-introduction-to-structural-operational-semantics