m
α
·λ
slide
:
Transition system -- compound statement