Σ
slide
:
Algebraic specification