Σ
slide: Algebraic specification