Signature -- names and profiles

$%S$


Functions -- for $T$

Type -- generators


slide: Algebraic specification