slide
:
Algebraic specification